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 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 Ihre Interessen zuschneiden. Sie können auch ein individuelles Thema vorschlagen.

Falls Sie eine Bachelorarbeit suchen und ein Thema interessant finden, dass hier nur als Masterarbeit ausgeschrieben ist, dann kontaktieren Sie bitte den Betreuer / die Betreuerin, um zu erfragen, ob das Thema auch als Bachelorarbeit bearbeitet werden kann. Meistens kann ein reduzierte Aufgabenstellung als Bachelorarbeit formuliert werden.

Bachelorarbeiten

Thema	Betreuer/-in
Transaction management in Vitruvius	Benedikt Jutz
A Framework for Transforming Data Tables into Descriptive Models	Raziyeh Dehghani
Supporting Design Documenting with Software Architecture Change information	Tobias Hey Haoyu Liu
LLM-based Architecture Design Decision Analysis for Software Evolution	Tobias Hey Haoyu Liu
The Structure of Design Argumentations in Code Changes	Tobias Hey Haoyu Liu
Integrating OSCTI into Self-adaptive Systems	Raffaela Mirandola Lin Cui
Exploring RAG and Prompt Engineering for Trace Link Recovery	Dominik Fuchß
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch
An Empirical Study of Observations, Triggers, and Alternatives for Consistency Preservation in Cyber-Physical Systems	Raziyeh Dehghani
A RAAML driven case study in automotive safety analysis	Muhammad Minhas
Ensuring the Semantics of Event-Based Analysis (de)composition through Constraint Specification	Bahareh Taghavi
Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications	Robert Heinrich Niclas Kannengießer

Masterarbeiten

Thema	Betreuer/-in
Properties and Granularities of Transactions in the Development of Cyber-Physical Systems	Benedikt Jutz
Datenflussanalyse für Konsistenzerhaltung	Nicolas Boltz Benedikt Jutz
Performanzanalyse von Konsistenzerhaltungsframeworks	Sebastian Weber Nicolas Boltz Benedikt Jutz
Transaction management in Vitruvius	Benedikt Jutz
A Survey of Model Management Approaches	Benedikt Jutz
A Framework for Transforming Data Tables into Descriptive Models	Raziyeh Dehghani
LLM-based Architecture Design Decision Analysis for Software Evolution	Tobias Hey Haoyu Liu
The Structure of Design Argumentations in Code Changes	Tobias Hey Haoyu Liu
OSCTI-driven Security Assessment for Self-Adaptive Systems	Raffaela Mirandola Lin Cui
Exploring RAG and Context Information for Trace Link Recovery	Dominik Fuchß
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch
Semantic tracelinks in Model-Based Systems Engineering	Thomas Weber Arne Lange
Assessing the Scalability of Variability Artifact Transformations using TRAVART	Kevin Feichtinger
LLM-basierte Klassifikation von Quelltextelementen hinsichtlich ihrer Anliegen	Tobias Hey
Abbilden von Sicherheitsanforderungen auf Analyseeingaben	Sophie Corallo
A Fork-Similar Delta Mechanism for Consistency Preservation in EMF-Based Cyber-Physical System Metamodels	Raziyeh Dehghani
Designing a Domain-Specific Language (DSL) for Consistency Preservation Triggers	Raziyeh Dehghani
Optimizing dependencies in safety analysis models	Muhammad Minhas
A unified framework for safety analysis models	Muhammad Minhas
Uncertainty propagation in Software-intensive systems	Raffaela Mirandola
Explainability Requirements in Software-Intensive Systems	Raffaela Mirandola
Ensuring the Semantics of Event-Based Analysis (de)composition through Constraint Specification	Bahareh Taghavi
Classification of composition operators for model-based analysis	Robert Heinrich Bahareh Taghavi
Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications	Robert Heinrich Niclas Kannengießer

Hilfskräfte

Thema	Betreuer
Tutorinnen und Tutoren für die Vorlesung „Programmieren“ (jedes Semester)	Programmieren/Übungsleitung
Weiterentwicklung und Wartung des Traceability Link Recovery-Ansatzes ArDoCo (inkl. CI/CD)	Jan Keim Dominik Fuchß Sophie Corallo
Aufbereiten und Dokumentieren von Projektwissen für die Lehre	Robert Heinrich Nicolas Boltz
Unterstützung beim CI/CD Build- Prozess großer Forschungsprojekte	Larissa Schmid Nicolas Boltz

Promotionsstellen

Derzeit gibt es bei SDQ mehrere offene Promotionsstellen in unterschiedlichen Projekten, so z.B. im SFB 1608.

Wenn Sie Interesse an einer Promotion bei SDQ haben, und Vorwissen in Softwaretechnik und einem oder mehreren der folgenden Themen besitzen, bewerben Sie sich bitte bei uns.

• Model-Driven Engineering
• Software-Architektur
• Software Performance-Auswertung und -Vorhersage
• Computerlinguistik/Natural language processing
• Artifact Evaluation

Senden Sie ihre Bewerbung mit Lebenslauf und passendem Motivationsschreiben für eines der o.g. Themen an Ralf Reussner und Anne Koziolek.