Supervised Bachelor Theses, Master Theses and Diploma Theses

2018

303.
Illich, Moritz
Program Structures for Learning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
Dezember 2018
302.
Robin, Céline
Empirische Untersuchung zu Verbesserungsmöglichkeiten der Lehre hinsichtlich Debuggingtechniken
Bachelorarbeit
Universität Ulm
Dezember 2018
301.
Thiele, Nico
Re-Engineering Feature Models From Product Configurators
Master
TU Braunschweig, Germany
November 2018
DOI:10.24355/dbbs.084-201812111501-0
Datei:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044869/Master_Thesis_Nico_Thiele.pdf
300.
Löser, Christoph
Nutzung von Repository Mining Ansätzen zur Unterstützung von Expertenschätzung in der Softwareentwicklung
Masterarbeit
Universität Ulm
November 2018
299.
Pett, Tobias
Stability of Product Sampling Under Product-Line Evolution
Master
TU Braunschweig, Germany
November 2018
DOI:10.24355/dbbs.084-201812111412-0
Datei:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044868/master_thesis_tobias_pett.pdf
298.
Götz, Stefan
Exploiting dependent types for representing Graph-constraints in GADTs
Masterarbeit
Universität Ulm
November 2018
297.
Weber, Pascal
Distribution in CHR
Bachelorarbeit
Universität Ulm
Oktober 2018
296.
Sontag, Christopher
Recording Feature Mappings During Evolution of Cloned Variants
Master
TU Braunschweig, Germany
September 2018
DOI:10.24355/dbbs.084-201812191127-0
Datei:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044881/Sontag_Master_Thesis.pdf
295.
Maier, Nathan
Extending the CoreASM Language by User Definded Operators
Bachelorarbeit
Universität Ulm
September 2018
294.
Gylstorff, Sophie
A Dynamic Performance Analyses of Bad Smells in Model Transformations
Masterarbeit
Universität Ulm
August 2018
293.
Liebhardt, Marco
Creating a Domain Specific Language for Voice User Interface Dialog Modeling
Masterarbeit
Universität Ulm
Juli 2018
292.
Lollert, Jannic
Darstellung und Speicherung inkorrekter Zustände in GEF basierten Editoren
Bachelorarbeit
Universität Ulm
Juni 2018
291.
Pietron, Jakob
Usability of Generated Graphical Editors
Masterarbeit
Universität Ulm
Mai 2018
290.
Sprey, Joshua; Sundermann, Chico
Computing Attribute Ranges for Partial Configurations With JavaSMT
Bachelor
TU Braunschweig, Germany
April 2018
DOI:10.24355/dbbs.084-201807060926-0
Datei:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044588/Thesis_Sprey_Sundermann.pdf
289.
Leitz, Markus
Definition of the formal semantics of Control State Diagrams and implementation of a graphical editor
Masterarbeit
Universität Ulm
April 2018
288.
Hammann, Christopher
Identification of Software test flakiness causes an patterns
Masterarbeit
Universität Ulm
Februar 2018
287.
Benz, Martin
Erweiterungen des "Automatic recommenders" für Ecore Metamodelle
Bachelorarbeit
Universität Ulm
Februar 2018
286.
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

285.
Sontag, Christopher
VariantSync: Automating the Synchronization of Software Variants
Project
TU Braunschweig, Germany
Dezember 2017
Datei:https://www.youtube.com/watch?v=JMIDvWYvaR0&list=PLBZnGZWZgEBZ8Me6WDQGdQRg438_Z4sl_&index=2
284.
Kempfle, Moritz
Converting EMF Ecore Meta Models to Haskell Algebraic Data Types
Bachelor
Universität Ulm
Dezember 2017
283.
(Burmeister), Carsten Immanuel Pardylla
Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY
Master
TU Braunschweig, Germany
Dezember 2017
DOI:10.24355/dbbs.084-201801311013
Datei:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044294/Pardylla-Ein_Erfahrungsbericht_zur_Deduktiven_Verifikation_mit_KeY.pdf
282.
Geiselmann, Tobias
A Method for Semi-Automatic, Domain-Specific Ontology Development for Requirements Engineering
Masterarbeit
Masterarbeit
Universität Ulm
November 2017
281.
Bolle, Stefanie
Feature-orientiertes Framing für die Verifikation von Software-Produktlinien
Master
TU Braunschweig, Germany
November 2017
DOI:10.24355/dbbs.084-201711280920
Datei:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044117/Masterarbeit-Stefanie_Bolle.pdf
279.
Ruof, Jona
Debugging Quadrocopters in Augmented Reality
Bachelorarbeit
Universität Ulm
Oktober 2017