Modellbasierte Entwicklung » Abschlussarbeiten
Abschlussarbeiten
Bachelorarbeiten
Offene Bachelorarbeiten
- Bei Interesse bitte melden.
Laufende Bachelorarbeiten
- /
Abgeschlossene Bachelorarbeiten
- Jamil Osmanov (2021): Fallstudien zum Vergleich von relationalen Datenbanksystemen und Graphdatenbanken in Neo4J
- Nicolas Gottwald (2020): Analyse echtzeitkritischer Rekonfigurationsentscheidungen für dynamische Software-Produktlinien
Masterarbeiten
Offene Masterarbeiten
- Bei Interesse bitte melden.
Laufende Masterarbeiten
- /
Abgeschlossene Masterarbeiten
- Adrian Bingener (2021): Entwurf und Implementierung eines experimentellen SAT-Solving-Frameworks zur automatisierten Analyse komplexer Softwaresysteme
- Robert Müller (2020): Regelbasiertes Mischen von Programmvarianten
Eine Übersicht über vergangene Abschlussarbeiten finden Sie auf der alten Webseite des Lehrstuhls PI.
Aktualisiert um 11:45 am 17. Februar 2021 von Robert