Supervised Bachelor Theses, Master Theses and Diploma Theses

2018

253.
Leitz, Markus
Definition of the formal semantics of Control State Diagrams and implementation of a graphical editor
Masterarbeit
Universität Ulm
April 2018
252.
Benz, Martin
Erweiterungen des "Automatic recommenders" für Ecore Metamodelle
Bachelorarbeit
Universität Ulm
Februar 2018
251.
Hammann, Christopher
Identification of Software test flakiness causes an patterns
Masterarbeit
Universität Ulm
Februar 2018
250.
van der Most, Wolfgang
Konzeption und Umsetzung eines Migrationsablaufs für Testspezifikationen in der Mercedes-Benz PKW-Entwicklung
Bachelorarbeit
Universität Ulm
Januar 2018

2017

249.
Kempfle, Moritz
Converting EMF Ecore Meta Models to Haskell Algebraic Data Types
Bachelor
Universität Ulm
Dezember 2017
248.
Geiselmann, Tobias
A Method for Semi-Automatic, Domain-Specific Ontology Development for Requirements Engineering
Masterarbeit
Masterarbeit
Universität Ulm
November 2017
247.
Ruof, Jona
Debugging Quadrocopters in Augmented Reality
Bachelorarbeit
Universität Ulm
Oktober 2017
246.
Brutzer, Natascha
Benchmark zur Evaluation von Softwaretechnik Planspielen
Masterarbeit
Universität Ulm
September 2017
245.
Richter, Frank
Confluence for Constraint Handling Rules with Persistent Constraints
Masterarbeit
Universität Ulm
Juli 2017
244.
Groner, Raffaela
Abstraction of version changes in models
Masterarbeit
Universität Ulm
Juli 2017
243.
Lang, Katarina
Empirische Untersuchung der Unterschiede zwischen Prozessdefinition und tatsächlichen Abläufen in der Individual- und Standardsoftwareentwicklung am Beispiel der msgGillardon
Bachelorarbeit
Universität Ulm
Juli 2017
242.
An, Ping
Integrationstest der Mobile App "Mercedes me" mit dem erweiterten DaiVB Testframework für einen agilen Entwicklungsprozess.
Masterarbeit
Universität Ulm
Februar 2017
241.
Feustel, Isabel
Explorative Benutzerstudie zur Förderung des Verständnisses funktionaler Programme durch Einführung interaktiver Konzepte in Flux
Bachelorarbeit
Universität Ulm
Januar 2017

2016

240.
Piazzi, Kai-Uwe
Konzeption, Implementierung und Evaluierung eines Gamifications-Ansatzes in der Softwaretechnik
Diplomarbeit
Universität Ulm
Dezember 2016
239.
Pfäffle, Armin
Prototypische Implementierung von Code Portalen in IDEs am Beispiel Atom
Diplomarbeit
Universität Ulm
Dezember 2016
238.
Jörg, Matthias
Unterstützung algebraischer Datentypen in CoreASM
Bachelorarbeit
Universität Ulm
Dezember 2016
237.
Scheibe, Daniel
Statische Analyse einer Automotive Embedded Software: Automatische Abstraktion einer Strukturdarstellung von Sourcecode zur Komplexitätsreduktion
Diplomarbeit
Universität Ulm
Dezember 2016
236.
Götz, Stefan
Evaluating Programming Languages for the Telecom Domain
Bachelorarbeit
Universität Ulm
Oktober 2016
235.
Cüppers, Joscha
Type checking in ClickyEvaluation - Adding type checking to ClickyEvaluation and evaluation its usefulness
Bachelorarbeit
Universität Ulm
September 2016
234.
Nguyen, Mai Trang
Konzeption und prototypische Implementierung eines Frameworks zur Generierung von beschreibenden Text aus UML Diagrammen
Masterarbeit
Universität Ulm
Juni 2016
233.
Neubauer, Markus
Prototypische Integration des Puffin-Frameworks in einem grafischen Editor und der Vergleich mit alternativen Frameworks
Masterarbeit
Universität Ulm
Januar 2016
232.
Schug, Elmar
Entwicklung eines Frameworks für die Modellhaltung hochflexibler Editoren zur grafischen Modelierung
Masterarbeit
Universität Ulm
Januar 2016

2015

231.
Wiedler, Michael
Methoden zur Unterstützung von Anpassungen an einem Softwareprojekt
Bachelorarbeit
Universität Ulm
Dezember 2015
230.
Eisenreich, Maximilian
Exploring the Java API with interactive UML class diagrams
Bachelor Arbeit
Universität Ulm
November 2015
229.
Brückner, Adrian
Analyse und Bewertung der Testautomatisierung von Infotainmentsystemen
Masterarbeit
Universität Ulm
November 2015