Ausschreibungen
Auf dieser Seite finden Sie Bachelor- und Studienarbeiten sowie Ausschreibungen für Mitarbeiter- und Hilfskraftstellen:
Informationen zum generellen Ablauf von Abschlussarbeiten bei SDQ erhalten Sie auf der Seite Abschlussarbeit/Studienarbeit.
Nicht alle offenen bzw. möglichen Themen sind ausgeschrieben und über diese Seite auffindbar. Bei allgemeinem Interesse an den Themen unseres Lehrstuhl, architekturbasierte Qualitätsvorhersagen für Software und modellgetriebene Software-Entwicklung mit dem Schwerpunkt auf Modellkonsistenzhaltung, kontaktieren Sie einfach eine/-n der Mitarbeiterinnen und Mitarbeiter der Gruppen DSiS (Prof. Reussner) und MCSE (Prof. Koziolek), ggf. schon anhand der von ihnen auf ihren Webseiten beschriebenen Forschungsinteressen. Es lässt sich dann üblicherweise ein Thema entsprechend unserer aktuellen Forschungsthemen erstellen, sowie speziell auf Ihrer Interessen zuschneiden. Sie können auch ein individuelles Thema vorschlagen.
Bachelorarbeiten
| Thema | Betreuer/-in | Veröffentlichung„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von Semantic MediaWiki zur Verfügung gestellt. |
|---|---|---|
| Konsistenzhaltung von Eingabemodellen für Architektur- und Code-basierte, statische Sicherheitsanalysen | Heiko Klare Frederik Reiche | Di 16. November 2021 |
| Berücksichtigung von Varianten in Zugriffskontrollsystemen | Maximilian Walter | Do 9. September 2021 |
| Erstellung einer Sicherheitsfallstudie zur Angreiferausbreitung | Maximilian Walter | Fr 11. Juni 2021 |
Masterarbeiten
Hilfskräfte
| Thema | Betreuer | Veröffentlichung„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von Semantic MediaWiki zur Verfügung gestellt. |
|---|---|---|
| Trace Link Recovery zwischen natürlichsprachiger Dokumentation und Formalen Modellen | Jan Keim | Fr 25. Juni 2021 |
| Unterstützung bei der Entwicklung von Sicherheitsanalysen | Maximilian Walter | Fr 18. Juni 2021 |
| Unterstützung bei der Entwicklung resilienter Produktionsssysteme | Sandro Koch | Mo 1. Februar 2021 |
| An automatic crawler for extracting highly ranked Q&A | Hamideh Hajiabadi | Di 19. Mai 2020 |
| Softwareentwicklung und Konsistenzhaltung mit Vitruvius | Heiko Klare | Mo 28. Januar 2019 |
| Softwareentwicklung im Kontext robuster Softwarearchitekturen für automatisiertes Fahren | Sebastian Krach | Fr 11. Januar 2019 |