Ausschreibungen

Neue Ausschreibung erstellen

 

Auf dieser Seite finden Sie Bachelor- und Studienarbeiten sowie Ausschreibungen für Mitarbeiter- und Hilfskraftstellen:

• Bachelorarbeiten
• Masterarbeiten
• Stellen als Hilfskraft

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 einen der Mitarbeiter. 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. Benutzen Sie dazu bitte unser E-Mail-Formular.

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.
Architekturbasierte Performance-Vorhersage von parallelen Programmen	Larissa Schmid	Di 20. Oktober 2020
Generation of Formal Specifications for Smart Contracts from Architectural Specifications	Frederik Reiche	Mo 19. Oktober 2020
Entwurf komponierbarer Sicherheitsanalysen	Frederik Reiche	Do 6. August 2020

Masterarbeiten

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.
Architekturbasierte Performance-Vorhersage von parallelen Programmen	Larissa Schmid	Di 20. Oktober 2020
Generation of Formal Specifications for Smart Contracts from Architectural Specifications	Frederik Reiche	Mo 19. Oktober 2020
Resilienz - Möglichkeiten der Selbstheilung in der Industrie 4.0	Sandro Koch	Mi 16. September 2020
Entwurf komponierbarer Sicherheitsanalysen	Frederik Reiche	Do 6. August 2020
Änderungsgetriebene Konsistenz zwischen Safety- Modellen und Systemarchitekturmodellen	Nico Kopp	Mo 2. März 2020
Parametrisierung statischer Analysen im Kontext der Softwaresicherheit	Frederik Reiche	Mo 2. Dezember 2019
Kopplungsansätze im Kontext statischer Sicherheitsanalysen	Frederik Reiche	Do 24. Oktober 2019
Model-Driven Consistency Preservation for Industrial Engineering Artifacts	Erik Burger	Mo 22. Mai 2017

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.
An automatic crawler for extracting highly ranked Q&A	Hamideh Hajiabadi	Di 19. Mai 2020
KASTEL - Security-By-Design in vernetzten Infrastrukturen	Frederik Reiche	Mo 9. Dezember 2019
Unterstützung bei Entwicklung des Palladio-Architektursimulators	Stephan Seifermann	Do 14. November 2019
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