Summary

• Page properties (2 modified, 0 added, 0 removed)

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.msp
	1	+XWiki.stu230980

Content

...	...	@@ -1,12 +1,12 @@
1		-{{note title="Legacy Project"}}
	1	+{{info title="Legacy Project"}}
2	2	KIViK is currently not maintained and hence not part of the KIELER release. Source code is only available for Eclipse 3.3.
3		-{{/note}}
	3	+{{/info}}
4	4
5		-{{panel borderStyle="dashed" title="Project Overview"}}
	5	+== Project Overview ==
	6	+
6	6	Related Theses:
7	7
8	8	* Arne Schipper, Layout and Visual Comparison of Statecharts, December 2008 ([[pdf>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ars-dt.pdf||shape="rect"]])
9		-{{/panel}}
10	10
11	11	Statecharts are a generally accepted method to model safety critical reactive systems, reducing modeling errors of the developers. As Statecharts are inherently graphical, two problems arise when working with them. One issue is to receive a sound layout of Statecharts automatically, the other addresses the comparison of Statecharts at the diagram level.
12	12
...	...	@@ -17,6 +17,4 @@
17	17	[[image:attach:image2012-10-2 11:30:6.png]]
18	18	KiViK compare window
19	19
20		-
21	21
22		-