Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -11,14 +11,14 @@
11	11	* **{{jira columns="key,summary,type,created,updated,due,assignee,reporter,priority,status,resolution" id="KIELER JIRA" serverId="2851bd34-0bf1-3f02-ab12-7d77ccab0fae" key="KIPRA-891"}}KIPRA-891{{/jira}}Layering Algorithms**
12	12	Implement an alternative algorithm for the layer assignment problem used in the layer-based approach to graph layout.
13	13	* **Integrate KIML with JGraph**
14		-Provide automatic layout through KIML for the JGraph diagram library and develop a simple JGraph-based graph editor to test the integration with.
15		-* **{{jira showSummary="true" columns="key,summary,type,created,updated,due,assignee,reporter,priority,status,resolution" id="KIELER JIRA" serverId="2851bd34-0bf1-3f02-ab12-7d77ccab0fae" key="KIPRA-1214"}}KIPRA-1214{{/jira}}Improved Edge Label Placement**
16		-Our layout algorithm already supports the placement of edge labels. However, there's still room for improvement...
	14	+Provide automatic layout through KIML for the JGraph diagram library and develop a simple JGraph-based graph editor to test the integration with.
17	17
18	18	== Modeling Pragmatics ==
19	19
20	20	* **Control Flow Graph Exploration / Visualization**
21	21	Use pragmatics concepts (automatic layout, focus & context) for exploring/visualizing control flow graphs and specific paths, eg. as computed by OTAWA WCET analysis tool, eg. using Klighd.
	20	+* **Incremental Update for Klighd**
	21	+Incremental update of Klighd data structure after editing.
22	22	* **OMG DD Format**
23	23	Explore the mapping of [[KGraph>>doc:KGraph Meta Model]] / [[KRendering>>doc:The KRendering Notation Model]] to the [[Diagram Definition>>url:http://www.omg.org/spec/DD/||shape="rect"]] format of the OMG.
24	24
...	...	@@ -38,15 +38,11 @@
38	38
39	39	= Master Topics =
40	40
	41	+* **SyncCharts in Yakindu**
	42	+Develop a SyncChart-Editor based on Yakindu, including basic pragmatics concept (automatic layout, collapse/expand, structure-based editing) and interfacing to host-language.
41	41	* **FPGA Statecharts**
42	42	Development of a Statecharts editor, based on .NET, WPF, MS Silverlight. Synthesis onto FPGAs with a data-flow-based intermediate format.
43		-* **[Quartz]**
44		-Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
45	45	* **Diagram Description Language**
46	46	Developing the concepts and implementation of a diagram description language based on Klighd, with SyncCharts as application example.
47		-* **Layering Algorithms**
48		-Develop an alternative algorithm for the layer assignment problem used in the layer-based approach to graph layout.
49		-* **Spline Layout**
50		-Develop a proper spline routing for KLay Layered. Part of this would be implementing self-loops with splines. The expected end result is that KLay Layered can well be used to layout state charts.
51		-* **Compound Graph Layout**
52		-Design and implement new concepts for computing layouts of compound graphs.
	47	+* **[Quartz]**
	48	+Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-8651676
	1	+8651105

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/8651676/Topics for Student Theses
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/8651105/Topics for Student Theses