Supervised Bachelor Theses, Master Theses and Diploma Theses
2019
308.
Seiffert,
Matthias
Recommending Model Transformations via Subgraph Matching
Bachelorarbeit
Universität Ulm
November 2019
Recommending Model Transformations via Subgraph Matching
Bachelorarbeit
Universität Ulm
November 2019
307.
Nachreiner,
Leander
Frustration by Construction? Exploring Relaxed Conformance Editing in a Modular Graphical Editing Environment
Masterarbeit
Universität Ulm
November 2019
Frustration by Construction? Exploring Relaxed Conformance Editing in a Modular Graphical Editing Environment
Masterarbeit
Universität Ulm
November 2019
306.
Schindler-Zins,
Dominik
A convenient editor for ROS drone configuration and debugging
Bachelorarbeit
Universität Ulm
Oktober 2019
A convenient editor for ROS drone configuration and debugging
Bachelorarbeit
Universität Ulm
Oktober 2019
305.
Georgi,
Juliane
Let’s Speak Graphic! Design and Implementation of an Editor Prototype for Graphical Ontology Creation
Bachelorarbeit
Universität Ulm
Juni 2019
Let’s Speak Graphic! Design and Implementation of an Editor Prototype for Graphical Ontology Creation
Bachelorarbeit
Universität Ulm
Juni 2019
304.
Krais,
Simon
Easy and Correct Component Composition in Robotics for low Experienced Users
Masterarbeit
Universität Ulm
März 2019
Easy and Correct Component Composition in Robotics for low Experienced Users
Masterarbeit
Universität Ulm
März 2019
303.
Bittner,
Paul Maximilian
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (Project Thesis)
Project Thesis
TU Braunschweig, Germany
März 2019
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (Project Thesis)
Project Thesis
TU Braunschweig, Germany
März 2019
| Datei: |  https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SEFM-Bittner.pdf |
302.
Rechenberger,
Sascha
Informationstheoretische Analyse von SLS-Solvern
Masterarbeit
Universität Ulm
Institut für Theoretische Informatik
Januar 2019
Informationstheoretische Analyse von SLS-Solvern
Masterarbeit
Universität Ulm
Institut für Theoretische Informatik
Januar 2019
2018
301.
Robin,
Céline
Empirische Untersuchung zu Verbesserungsmöglichkeiten der Lehre hinsichtlich Debuggingtechniken
Bachelorarbeit
Universität Ulm
Dezember 2018
Empirische Untersuchung zu Verbesserungsmöglichkeiten der Lehre hinsichtlich Debuggingtechniken
Bachelorarbeit
Universität Ulm
Dezember 2018
300.
Illich,
Moritz
Program Structures for Learning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
Dezember 2018
Program Structures for Learning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
Dezember 2018
299.
Pett,
Tobias
Stability of Product Sampling under Product-Line Evolution
Master's Thesis
TU Braunschweig, Germany
November 2018
Stability of Product Sampling under Product-Line Evolution
Master's Thesis
TU Braunschweig, Germany
November 2018
| DOI: | 10.24355/dbbs.084-201812111412-0 |
| Datei: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044868/master_thesis_tobias_pett.pdf |
298.
Thiele,
Nico
Re-Engineering Feature Models from Product Configurators
Master's Thesis
TU Braunschweig, Germany
November 2018
Re-Engineering Feature Models from Product Configurators
Master's Thesis
TU Braunschweig, Germany
November 2018
| DOI: | 10.24355/dbbs.084-201812111501-0 |
| Datei: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044869/Master_Thesis_Nico_Thiele.pdf |
297.
Götz,
Stefan
Exploiting dependent types for representing Graph-constraints in GADTs
Masterarbeit
Universität Ulm
November 2018
Exploiting dependent types for representing Graph-constraints in GADTs
Masterarbeit
Universität Ulm
November 2018
296.
Löser,
Christoph
Nutzung von Repository Mining Ansätzen zur Unterstützung von Expertenschätzung in der Softwareentwicklung
Masterarbeit
Universität Ulm
November 2018
Nutzung von Repository Mining Ansätzen zur Unterstützung von Expertenschätzung in der Softwareentwicklung
Masterarbeit
Universität Ulm
November 2018
295.
Weber,
Pascal
Distribution in CHR
Bachelorarbeit
Universität Ulm
Oktober 2018
Distribution in CHR
Bachelorarbeit
Universität Ulm
Oktober 2018
294.
Maier,
Nathan
Extending the CoreASM Language by User Definded Operators
Bachelorarbeit
Universität Ulm
September 2018
Extending the CoreASM Language by User Definded Operators
Bachelorarbeit
Universität Ulm
September 2018
293.
Sontag,
Christopher
Recording Feature Mappings During Evolution of Cloned Variants
Master's Thesis
TU Braunschweig, Germany
September 2018
Recording Feature Mappings During Evolution of Cloned Variants
Master's Thesis
TU Braunschweig, Germany
September 2018
| DOI: | 10.24355/dbbs.084-201812191127-0 |
| Datei: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044881/Sontag_Master_Thesis.pdf |
292.
Gylstorff,
Sophie
A Dynamic Performance Analyses of Bad Smells in Model Transformations
Masterarbeit
Universität Ulm
August 2018
A Dynamic Performance Analyses of Bad Smells in Model Transformations
Masterarbeit
Universität Ulm
August 2018
291.
Liebhardt,
Marco
Creating a Domain Specific Language for Voice User Interface Dialog Modeling
Masterarbeit
Universität Ulm
Juli 2018
Creating a Domain Specific Language for Voice User Interface Dialog Modeling
Masterarbeit
Universität Ulm
Juli 2018
290.
Lollert,
Jannic
Darstellung und Speicherung inkorrekter Zustände in GEF basierten Editoren
Bachelorarbeit
Universität Ulm
Juni 2018
Darstellung und Speicherung inkorrekter Zustände in GEF basierten Editoren
Bachelorarbeit
Universität Ulm
Juni 2018
289.
Pietron,
Jakob
Usability of Generated Graphical Editors
Masterarbeit
Universität Ulm
Mai 2018
Usability of Generated Graphical Editors
Masterarbeit
Universität Ulm
Mai 2018
288.
Sprey,
Joshua;
Sundermann,
Chico
Computing Attribute Ranges for Partial Configurations with JavaSMT
Bachelor's Thesis
TU Braunschweig, Germany
April 2018
Computing Attribute Ranges for Partial Configurations with JavaSMT
Bachelor's Thesis
TU Braunschweig, Germany
April 2018
| DOI: | 10.24355/dbbs.084-201807060926-0 |
| Datei: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044588/Thesis_Sprey_Sundermann.pdf |
287.
Leitz,
Markus
Definition of the formal semantics of Control State Diagrams and implementation of a graphical editor
Masterarbeit
Universität Ulm
April 2018
Definition of the formal semantics of Control State Diagrams and implementation of a graphical editor
Masterarbeit
Universität Ulm
April 2018
286.
Benz,
Martin
Erweiterungen des "Automatic recommenders" für Ecore Metamodelle
Bachelorarbeit
Universität Ulm
Februar 2018
Erweiterungen des "Automatic recommenders" für Ecore Metamodelle
Bachelorarbeit
Universität Ulm
Februar 2018
285.
Hammann,
Christopher
Identification of Software test flakiness causes an patterns
Masterarbeit
Universität Ulm
Februar 2018
Identification of Software test flakiness causes an patterns
Masterarbeit
Universität Ulm
Februar 2018
284.
van der Most,
Wolfgang
Konzeption und Umsetzung eines Migrationsablaufs für Testspezifikationen in der Mercedes-Benz PKW-Entwicklung
Bachelorarbeit
Universität Ulm
Januar 2018
Konzeption und Umsetzung eines Migrationsablaufs für Testspezifikationen in der Mercedes-Benz PKW-Entwicklung
Bachelorarbeit
Universität Ulm
Januar 2018