Supervised Bachelor Theses, Master Theses and Diploma Theses

277.

Heß, Tobias
Binary Decision Diagrams for the Analysis of Large Feature Models
Masterarbeit
Universität Ulm
November 2020

276.

Lollert, Jannic
The Impact of Vertical Hierarchization Representation on Diagram Understandability
Masterarbeit
Universität Ulm
2020

275.

Wittmann, Bernhard
Transforming the modality of element selection strategies to enhance the usability of modeling tools
Masterarbeit
Universität Ulm
2020

274.

Lappe, Hannah
Development and Evaluation of a Metamodel to Define Modeling Syntaxes for CouchEdit
Bachelorarbeit
Universität Ulm
2020

273.

Birnkammer, Thomas
Recommending Model Transformations from User Changes and Typical Model Transformations
Masterarbeit
Universität Ulm
2020

272.

Jox, Lukas
Modeling Inductive Reasoning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
2020

271.

Bückle, Fabian
Evaluating the Usability of State Chart Tools
Masterarbeit
Universität Ulm
2020

270.

Georgi, Juliane
Let’s Speak Graphic! Design and Implementation of an Editor Prototype for Graphical Ontology Creation
Bachelorarbeit
Universität Ulm
Juni 2019

269.

Krais, Simon
Easy and Correct Component Composition in Robotics for low Experienced Users
Masterarbeit
Universität Ulm
2019

268.

Nachreiner, Leander
Frustration by Construction? Exploring Relaxed Conformance Editing in a Modular Graphical Editing Environment
Masterarbeit
Universität Ulm
2019

267.

Rechenberger, Sascha
Informationstheoretische Analyse von SLS-Solvern
Masterarbeit
Universität Ulm
Institut für Theoretische Informatik
2019

266.

Hirn, Sophie
Measuring and Improving the Performance of PureScript Applications
Bachelorarbeit
Universität Ulm
2019

265.

Seiffert, Matthias
Recommending Model Transformations via Subgraph Matching
Bachelorarbeit
Universität Ulm
2019

264.

Schindler-Zins, Dominik
A convenient editor for ROS drone configuration and debugging
Bachelorarbeit
Universität Ulm
2019

263.

Illich, Moritz
Program Structures for Learning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
Dezember 2018

262.

Robin, Céline
Empirische Untersuchung zu Verbesserungsmöglichkeiten der Lehre hinsichtlich Debuggingtechniken
Bachelorarbeit
Universität Ulm
Dezember 2018

261.

Götz, Stefan
Exploiting dependent types for representing Graph-constraints in GADTs
Masterarbeit
Universität Ulm
November 2018

260.

Löser, Christoph
Nutzung von Repository Mining Ansätzen zur Unterstützung von Expertenschätzung in der Softwareentwicklung
Masterarbeit
Universität Ulm
November 2018

259.

Maier, Nathan
Extending the CoreASM Language by User Definded Operators
Bachelorarbeit
Universität Ulm
September 2018

258.

Lollert, Jannic
Darstellung und Speicherung inkorrekter Zustände in GEF basierten Editoren
Bachelorarbeit
Universität Ulm
Juni 2018

257.

Pietron, Jakob
Usability of Generated Graphical Editors
Masterarbeit
Universität Ulm
Mai 2018

256.

Leitz, Markus
Definition of the formal semantics of Control State Diagrams and implementation of a graphical editor
Masterarbeit
Universität Ulm
April 2018

255.

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

254.

Hammann, Christopher
Identification of Software test flakiness causes an patterns
Masterarbeit
Universität Ulm
Februar 2018

253.

van der Most, Wolfgang
Konzeption und Umsetzung eines Migrationsablaufs für Testspezifikationen in der Mercedes-Benz PKW-Entwicklung
Bachelorarbeit
Universität Ulm
Januar 2018