Abgeschlossene Bachelorarbeiten, Masterarbeiten und Diplomarbeiten

2020

264.

2020
263.
Benz, Martin
Erweiterungen des "Automatic recommenders" für Ecore Metamodelle
Bachelorarbeit
Universität Ulm

2019

262.
Georgi, Juliane
Let’s Speak Graphic! Design and Implementation of an Editor Prototype for Graphical Ontology Creation
Bachelorarbeit
Universität Ulm
Juni 2019
261.
Rechenberger, Sascha
Informationstheoretische Analyse von SLS-Solvern
Masterarbeit
Universität Ulm
Institut für Theoretische Informatik
2019

2018

260.
Robin, Céline
Empirische Untersuchung zu Verbesserungsmöglichkeiten der Lehre hinsichtlich Debuggingtechniken
Bachelorarbeit
Universität Ulm
Dezember 2018
259.
Illich, Moritz
Program Structures for Learning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
Dezember 2018
258.
Götz, Stefan
Exploiting dependent types for representing Graph-constraints in GADTs
Masterarbeit
Universität Ulm
November 2018
257.
Löser, Christoph
Nutzung von Repository Mining Ansätzen zur Unterstützung von Expertenschätzung in der Softwareentwicklung
Masterarbeit
Universität Ulm
November 2018
256.
Maier, Nathan
Extending the CoreASM Language by User Definded Operators
Bachelorarbeit
Universität Ulm
September 2018
255.
Lollert, Jannic
Darstellung und Speicherung inkorrekter Zustände in GEF basierten Editoren
Bachelorarbeit
Universität Ulm
Juni 2018
254.
Pietron, Jakob
Usability of Generated Graphical Editors
Masterarbeit
Universität Ulm
Mai 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.
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
243.
Groner, Raffaela
Abstraction of version changes in models
Masterarbeit
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.
Scheibe, Daniel
Statische Analyse einer Automotive Embedded Software: Automatische Abstraktion einer Strukturdarstellung von Sourcecode zur Komplexitätsreduktion
Diplomarbeit
Universität Ulm
Dezember 2016