Summary

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

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.ssm
	1	+XWiki.nre

Content

...	...	@@ -28,6 +28,8 @@
28	28
29	29	**Advisors:** Sören Domrös, Niklas Rentz, Reinhard von Hanxleden
30	30
	31	+* **Compare Software Architecural Model to Implementation**
	32	+OSGiViz and Software Project Viz currently allows to inspect software architecture aspects of projects. We would like to model software architectures in the same style to enable a model-to-implementation comparison or mockup code generation for architectures.
31	31	* **Post-Processing Label Placement with Label Management** (Bachelor, Master)
32	32	This is about implementing a stand-alone label placement algorithm that can place node and edge labels after everything else has already been placed. Since there might not be enough space to place all labels, the algorithm should provide different options of coping with such situations. One would be to hide such labels, another one would be to apply label management to them.
33	33	* **Standalone Edge Routing **(Master)
...	...	@@ -46,7 +46,7 @@
46	46
47	47	= Semantics, Synchronous Languages and Model-based Design =
48	48
49		-**Advisors:** Steven Smyth, Alexander Schulz-Rosengarten, Lena Grimm, Reinhard v. Hanxleden
	51	+**Advisors:** Alexander Schulz-Rosengarten, Reinhard v. Hanxleden
50	50
51	51	Synchronous languages are well-established for the design of embedded, in particular safety-critical systems. One of our research areas concerns the further development of such languages and their efficient compilation. Specifically, we explore the paradigm of "sequential constructiveness" for reconciling familiar, imperative programming concepts with the sound grounding of synchronous languages. One language we have developed to try out and validate our concepts is the [[SCCharts>>doc:KIELER.SCCharts||shape="rect"]] language, which keeps evolving and thus offers many opportunities for student theses.
52	52

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-124780546
	1	+131498044

URL

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