Ausschreibungen/Webseite

Aus SDQ-Wiki

Bachelor’s Theses

Topic Supervisors
LLM-based Code Generation for Model Transformation Languages Nathan Hagel, Bowen Jiang
Transformation of Xbase Expressions to Relational Query Operations Lars König
Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen Nicolas Boltz, Leonie Sterz
Feature Annotated View Specification and View Generation Erik Burger
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

Master’s Theses

Topic Supervisors
LLM-based Code Generation for Model Transformation Languages Nathan Hagel, Bowen Jiang
Transformation of Xbase Expressions to Relational Query Operations Lars König
Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen Nicolas Boltz, Leonie Sterz
Feature Annotated Reactions Language Erik Burger
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
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