Open Topics

• Invarianten bei der Ausführung von Java-Code überprüfen (BA/MA)
• Produktlinien für Musterlösungs-Varianten (MA)
• Lernplattformen für das Selbststudium evaluieren (BA/MA)
• Gamification für Werkzeuge im Selbststudium (BA/MA)
• Mustererkennung in Graphen und Modellen (BA/MA)
• Selbstlernaufgaben für die Programmier- und Modellierungsausbildung (MA)

Ongoing Theses

• Generische Visualisierung und Analyse von Versionierung für Text und Wikipedia (BA)
• Anfragesprachen für EMF evaluieren (BA)
• Kollaborative UML-Modellierung mit unterschiedlichen UML-Werkzeugen (MA)
• Codeanalyse statt Testen (BA)
• Modellgetriebene Vernetzung von Informationsquellen (BA)
• Daten-Integration in Unternehmen: Synchronisierung (BA)
• Daten-Integration in Unternehmen: Integration (BA)
• Extraktion von Modellen aus LaTeX (BA)
• UML-Werkzeuge evaluieren: Survey (BA)
• UML-Werkzeuge evaluieren: Durchstich in die Tiefe (BA)

Completed Theses

• 30.06.2020 
  Extraktion von Modellen aus Datenbanken (BA)
• 02.06.2020 
  Repository Managementsystem für Delta Language (MA)
• 28.01.2020 
  Extraktion von Modellen aus Excel (BA)

• 26.11.2019 
  Plattformübergreifende Entwicklung von Apps. Am Fallbeispiel einer App für das Kunstprojekt „Time is Fake“ von Michael Olsen (BA)
• 19.11.2019 
  Integration von Zugangsdaten (BA)
• 09.06.2019 
  A Generic Approach for the Collaborative Modeling of UML Diagrams Applied to UML State Machines (BA)
• 26.03.2019 
  Verwaltung von Abschlussarbeiten (BA)
• 05.03.2019 
  Inkrementelles Parsen von Java-Code (BA)

• 27.11.2018 
  Analyse von Referenzmodellen (MA)
• 12.11.2018 
  Schulung: Erstellung einer DSL mit EMF, Sirius und Xtext (MA)
• 09.10.2018 
  Modellbasierte Darstellung von C++ Sourcecode (BA)
• 29.05.2018 
  Refactoring to Dependency Injection (MA)
• 03.04.2018 
  Autolayouting von Klassendiagrammen (BA)

• 02.08.2017 
  Modellierung von Anforderungen (MA)
• 21.07.2017 
  Entwicklung eines browserbasierten XML-Editors zur Bearbeitung von Inhalten auf Webseiten (BA)
• 20.07.2017 
  Mapping von Java auf das Dagstuhl Middle Model (BA)
• 06.06.2017 
  Erarbeitung und prototypische Realisierung eines Konzepts zur Herstellung von Traceability in der Entwicklung einer Software-Produktlinie (MA)

• 12.09.2016 
  Abstract Semantic Graphs for Java (BA)
• 01.03.2016 
  Änderungsbasierte Testselektion (BA)

• 10.11.2015 
  Testwerkzeuge für Java-Systeme (MA)