Dokumente des Instituts

• Diplomarbeiten (Archiv)
• Masterarbeiten
• Bachelorarbeiten

• Zschiesche, Jannik: Erkennung semantischer Klone mittels Locality-Sensitive-Hashing charakteristischer Vektoren, Diplomarbeit Nr. 13, 2016.

• Al-Maamari, Tareq Ahmed Ali: Aspects of Event-Driven Cloud-Native Application Development, Masterarbeit Nr. 2016.
• Alt, Patrick: Regression Test Suite Selection and Minimization Based on Feature Modeling, Masterarbeit Nr. 2016.
• Das, Rupak: Development of Differ and Merge Features for Models in the AMALTHEA Tool Platform, Masterarbeit Nr. 95, 2016.
• Dreiucker, Mark: Integrierte Rückverfolgbarkeit von Anforderungen, Masterarbeit Nr. 44, 2016.
• Harrer, Matthias: Prototypenentwicklung mit Bauhaus und SKilL, Masterarbeit Nr. 19, 2016.
• Käfer, Verena: A Study of the Transferability of Tutorial Concepts of Games to Application Software, Masterarbeit Nr. 46, 2016.
• Keller, Fabian: Introducing Performance Awareness in an Integrated Specification Environment, Masterarbeit Nr. 2016.
• Kuhn, Tobias: Untersuchung von bekannten Gamificationsansätzen auf ihre Anwendbarkeit auf das Werkzeug der statischen Codeanalyse FindBugs, Masterarbeit Nr. 30, 2016.
• Li, Lingwei: Improving Software Quality with Continuous Integration in an Agile Development Process, Masterarbeit Nr. 2016.
• Maher, Karim: Building a bluetooth automatic obstacle-avoidance robotic based in an agile development process, Masterarbeit Nr. 56, 2016.
• Niethammer, Philipp: Syntax-directed Incremental Verification of Java Modeling Language Contracts, Masterarbeit Nr. 62, 2016.
• Noller, Yannic: Model counting of string constraints for probabilistic symbolic execution, Masterarbeit Nr. 63, 2016.
• Przytarski, Dennis: SKilLed Bauhaus, Masterarbeit Nr. 35, 2016.
• Rudolph, Tobias: Improving Automatic Software Repair with Probabilistic Symbolic Execution, Masterarbeit Nr. 2016.
• Schnaible, Sven: Modelle und Programmierparadigmen für Geschäftslogik, Masterarbeit Nr. 79, 2016.
• Walter, Jaasiel: Testabdeckungsmaße für den Integrationstest von E/E-Systemen im Fahrzeug, Masterarbeit Nr. 87, 2016.
• Weißer, Constantin Michael: Serialization of Foreign Types with SKilL, Masterarbeit Nr. 2016.
• Xu, Ling: A study on the relationship between FindBugs warnings, metrics and expert judgments, Masterarbeit Nr. 91, 2016.

• Angerstein, Tobias: Automated categorization of performance problem diagnosis results, Bachelorarbeit Nr. 2016.
• Balzer, Lukas: Entwicklung eines STPA-Verifiers als Eclipse-Plug-in für die Verifikation von Software-Sicherheitsanforderungen, Bachelorarbeit Nr. 13, 2016.
• Bauer, Andreas: Bauhaus-Analysis Driver, Bachelorarbeit Nr. 15, 2016.
• Frank, Sebastian: Handling quality trade-offs in architecture-based performance optimization, Bachelorarbeit Nr. 66, 2016.
• Gaiser, Simon: Automatisierter Vergleich von Codeklonerkennungsergebnissen, Bachelorarbeit Nr. 262, 2016.
• Golda, Robert: A Java library for Zero-Suppressed Decision Diagrams, Bachelorarbeit Nr. 68, 2016.
• Harth, Rafael: Anbindung von SKilL an Haskell, Bachelorarbeit Nr. 70, 2016.
• Hidiroglu, Alper: Detecting performance anti-patterns in enterprise applications by analyzing execution traces, Bachelorarbeit Nr. 72, 2016.
• Luk He, Ting: Development of an Eclipse Plug-in for the STPA TCGenerator tool, Bachelorarbeit Nr. 86, 2016.
• Mauch, Nicolas: Reengineering und Erweiterung einer Prüfungsumgebung für Spreadsheets, Bachelorarbeit Nr. 35, 2016.
• Pauly, Vincenz: Portierung einer Java-Backend-Komponente nach .NET, Bachelorarbeit Nr. 37, 2016.
• Schretter, Olga: Workflow-Modellierung: Werkzeugauswahl und Integration, Bachelorarbeit Nr. 51, 2016.
• Schröder, Juri Leonhard: Optimierung von unsicheren Systemen mit B-Splines auf Dünnen Gittern, Bachelorarbeit Nr. 52, 2016.