Summary

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

Details

Page properties

Author

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

Content

...	...	@@ -1,12 +1,12 @@
1		-{{info title="Legacy Project"}}
	1	+{{note 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		-{{/info}}
	3	+{{/note}}
4	4
5		-== Project Overview ==
6		-
	5	+{{panel borderStyle="dashed" title="Project Overview"}}
7	7	Related Theses:
8	8
9	9	* 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,4 +17,6 @@
17	17	[[image:attach:image2012-10-2 11:30:6.png]]
18	18	KiViK compare window
19	19
	20	+
20	20
	22	+