Abschlussarbeiten
Offene Abschlussarbeiten
Wie bieten Abschlussarbeiten in folgenden Themengebieten an:
- Modellbasierte Software-Entwicklung und Qualitätssicherung
- Konfigurierbare Software
- Entwurf von Datenbank-Applikationen
- Quantum Software Engineering
Bei Interesse bitte frühzeitig melden.
Abgeschlossene Bachelorarbeiten
- Transfer-Learning-Ansätze zum Feature-Modell-Lernen (2024)
- Modellierung und Analyse konfigurierbarer Scheduling-Probleme (2024)
- Modellbasierte Rückverfolgbarkeit in Produktionsabläufen (2024)
- Kodierungsstrategien von boole’schen Konfigurationsräumen für Ansätze zum Feature-Modell-Lernen (2024)
- Experimentelle Auswertung von Unit-Test-Generatoren für Java-Programme (2024)
- Konzeption und Implementierung eines Editors für Klassifikationsbäume zum Funktionsorientierten Testen (2024)
- Ansätze zum maschinellen Lernen für den Konfigurationsraum des Linux Kernels (2024)
- Modellbasierte Kompositionsstrategien für Microservices eines Web-basierten Service-Portals (2024)
- Performance-Evaluation von SAT-Solving-Verfahren (2023)
- Inkrementelles Paarweises Sampling basierend auf grundlegenden SAT Solving Verfahren (2023)
- Integration und Evaluation von Werkzeugen zur Programmanalyse für den Einsatz in der Lehre (2022)
- Performance-Vergleich von Optimierungsstrategien für SQL Anfragen (2022)
- Testdatengenerierung zum automatisierten Regressionstesten von Service-Applikationen im Maschinenbau (2022)
- Evaluation induktiver Strategien zur Test-getriebenen Programmsynthese (2022)
- Entwurf und Implementierung einer Modellierungssprache zur Automatisierung von Datentransformationen in Geschäftsprozessen (2022)
- Conflict-driven Clause-Learning-Strategien zur Analyse von Konfigurationsmodellen (2022)
- Vergleich des SQL-Sprachumfangs ausgewählter relationaler Datenbanksysteme (2021)
- Priorisierungsstrategien für die SAT-basierte Analyse von Konfigurationsmodellen variantenreicher Software (2021)
- Performance-Vergleich von BDD-basierten und SAT-basierten Analysestrategien für Konfigurationsmodelle (2021)
- Strukturierte Code-Generierung aus Kontrollflussautomaten (2021)
- Statistisches Model-Checking zur effizienten Analyse echtzeitkritischer Rekonfigurationen (2021)
- Fallstudien zum Vergleich von relationalen Datenbanksystemen und Graphdatenbanken in Neo4J (2021)
- Analyse echtzeitkritischer Rekonfigurationsentscheidungen für dynamische Software-Produktlinien (2020)
Abgeschlossene Masterarbeiten
- Validation of Reliability Specifications for Connected Home Comfort Systems (2024)
- Virtualised Testing Strategies for Ensuring Automotive Software Quality Standards (2024)
- Entwicklung einer integrierten Web-Applikation zur automatisierten Testdatensynthese für SQL-Datenbanken (2024)
- Testansätze für relationale Datenbanksysteme (2023)
- Anfrage-spezifische Synthese großer Testdatensätze für relationale Datenbanken (2023)
- Vergleich der Effizienz und Effektivität von Feature-Modell-Synthese und Feature-Modell-Lernen (2023)
- Testfall-Generierung für Anwendungen mit unendlichem Konfigurationsraum am Beispiel einer Controlling-Software zur Leistungsplanung im Krankenhaus (2021)
- Effiziente Testfallgenerierung für C-Programme durch Testability-Transformationen (2021)
- Entwicklung eines automatisierten Testwerkzeugs für Enterprise Applications (2021)
- Entwurf und Implementierung eines experimentellen SAT-Solving-Frameworks zur automatisierten Analyse komplexer Softwaresysteme (2021)
- Regelbasiertes Mischen von Programmvarianten (2020)
Vorlagen
- LaTeX-Vorlage für Abschlussarbeiten an der Professur MBE
- PowerPoint-Vorlage für Abschlussvorträge an der Professur MBE
Um LaTeX-Dokumente zu bearbeiten und zu setzen, empfehlen wir MiKTeX (darin ist der Editor TeXworks enthalten).
Aktualisiert um 11:45 am 17. Februar 2021 von Robert