Documents of the Department

• Master Theses
• Bachelor Theses

• Al-Maamari, Tareq Ahmed Ali: Aspects of Event-Driven Cloud-Native Application Development, Master Thesis No. 2016.
• Alt, Patrick: Regression Test Suite Selection and Minimization Based on Feature Modeling, Master Thesis No. 2016.
• Dreiucker, Mark: Integrierte Rückverfolgbarkeit von Anforderungen, Master Thesis No. 44, 2016.
• Käfer, Verena: A Study of the Transferability of Tutorial Concepts of Games to Application Software, Master Thesis No. 46, 2016.
• Kuhn, Tobias: Untersuchung von bekannten Gamificationsansätzen auf ihre Anwendbarkeit auf das Werkzeug der statischen Codeanalyse FindBugs, Master Thesis No. 30, 2016.
• Li, Lingwei: Improving Software Quality with Continuous Integration in an Agile Development Process, Master Thesis No. 2016.
• Maher, Karim: Building a bluetooth automatic obstacle-avoidance robotic based in an agile development process, Master Thesis No. 56, 2016.
• Walter, Jaasiel: Testabdeckungsmaße für den Integrationstest von E/E-Systemen im Fahrzeug, Master Thesis No. 87, 2016.
• Xu, Ling: A study on the relationship between FindBugs warnings, metrics and expert judgments, Master Thesis No. 91, 2016.

• Balzer, Lukas: Entwicklung eines STPA-Verifiers als Eclipse-Plug-in für die Verifikation von Software-Sicherheitsanforderungen, Bachelor Thesis No. 13, 2016.
• Luk He, Ting: Development of an Eclipse Plug-in for the STPA TCGenerator tool, Bachelor Thesis No. 86, 2016.
• Mauch, Nicolas: Reengineering und Erweiterung einer Prüfungsumgebung für Spreadsheets, Bachelor Thesis No. 35, 2016.
• Pauly, Vincenz: Portierung einer Java-Backend-Komponente nach .NET, Bachelor Thesis No. 37, 2016.
• Schretter, Olga: Workflow-Modellierung: Werkzeugauswahl und Integration, Bachelor Thesis No. 51, 2016.
• Schröder, Juri Leonhard: Optimierung von unsicheren Systemen mit B-Splines auf Dünnen Gittern, Bachelor Thesis No. 52, 2016.