Abgeschlossene Bachelorarbeiten, Masterarbeiten und Diplomarbeiten

264.

2020

263.

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

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

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

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

240.

Scheibe, Daniel
Statische Analyse einer Automotive Embedded Software: Automatische Abstraktion einer Strukturdarstellung von Sourcecode zur Komplexitätsreduktion
Diplomarbeit
Universität Ulm
Dezember 2016