Ongoing Theses

• Invarianten bei der Ausführung von Java-Code überprüfen (BA/MA)
• Tutoren-Management als Stud.IP Plugin (BA)
• Usermanagement in der kollaborativen Modellierung (BA/MA)
• Verwaltung von Übungs- und Klausuraufgaben (BA)
• Abgabe und Bewertung von Übungsaufgaben als Stud.IP Plugin (BA)
• Selbstlernaufgaben für die Programmier- und Modellierungsausbildung (MA)
• Gamification für Werkzeuge im Selbststudium (BA/MA)
• Strukturierte Literaturanalyse zum Einsatz von selbstlernenden Methoden im Kontext von regelbasierten Systemen und Ontologien (BA/MA)
• Universalsensoren (BA)
• Anfragesprachen für EMF evaluieren (BA)
• Kollaborative UML-Modellierung mit unterschiedlichen UML-Werkzeugen (MA)
• Modellgetriebene Vernetzung von Informationsquellen (BA)