Supervised Bachelor Theses, Master Theses and Diploma Theses
2018
292.
Lollert,
Jannic
Darstellung und Speicherung inkorrekter Zustände in GEF basierten Editoren
Bachelorarbeit
Universität Ulm
June 2018
Darstellung und Speicherung inkorrekter Zustände in GEF basierten Editoren
Bachelorarbeit
Universität Ulm
June 2018
291.
Pietron,
Jakob
Usability of Generated Graphical Editors
Masterarbeit
Universität Ulm
May 2018
Usability of Generated Graphical Editors
Masterarbeit
Universität Ulm
May 2018
290.
Sprey,
Joshua;
Sundermann,
Chico
Computing Attribute Ranges for Partial Configurations With JavaSMT
Bachelor
TU Braunschweig, Germany
April 2018
Computing Attribute Ranges for Partial Configurations With JavaSMT
Bachelor
TU Braunschweig, Germany
April 2018
| DOI: | 10.24355/dbbs.084-201807060926-0 |
| File: |  https://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
Definition of the formal semantics of Control State Diagrams and implementation of a graphical editor
Masterarbeit
Universität Ulm
April 2018
288.
Benz,
Martin
Erweiterungen des "Automatic recommenders" für Ecore Metamodelle
Bachelorarbeit
Universität Ulm
February 2018
Erweiterungen des "Automatic recommenders" für Ecore Metamodelle
Bachelorarbeit
Universität Ulm
February 2018
287.
Hammann,
Christopher
Identification of Software test flakiness causes an patterns
Masterarbeit
Universität Ulm
February 2018
Identification of Software test flakiness causes an patterns
Masterarbeit
Universität Ulm
February 2018
286.
van der Most,
Wolfgang
Konzeption und Umsetzung eines Migrationsablaufs für Testspezifikationen in der Mercedes-Benz PKW-Entwicklung
Bachelorarbeit
Universität Ulm
January 2018
Konzeption und Umsetzung eines Migrationsablaufs für Testspezifikationen in der Mercedes-Benz PKW-Entwicklung
Bachelorarbeit
Universität Ulm
January 2018
2017
285.
Kempfle,
Moritz
Converting EMF Ecore Meta Models to Haskell Algebraic Data Types
Bachelor
Universität Ulm
December 2017
Converting EMF Ecore Meta Models to Haskell Algebraic Data Types
Bachelor
Universität Ulm
December 2017
284.
(Burmeister),
Carsten Immanuel Pardylla
Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY
Master
TU Braunschweig, Germany
December 2017
Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY
Master
TU Braunschweig, Germany
December 2017
283.
Sontag,
Christopher
VariantSync: Automating the Synchronization of Software Variants
Project
TU Braunschweig, Germany
December 2017
VariantSync: Automating the Synchronization of Software Variants
Project
TU Braunschweig, Germany
December 2017
| File: | https://www.youtube.com/watch?v=JMIDvWYvaR0&list=PLBZnGZWZgEBZ8Me6WDQGdQRg438_Z4sl_&index=2 |
282.
Geiselmann,
Tobias
A Method for Semi-Automatic, Domain-Specific Ontology Development for Requirements Engineering
Masterarbeit
Masterarbeit
Universität Ulm
November 2017
A Method for Semi-Automatic, Domain-Specific Ontology Development for Requirements Engineering
Masterarbeit
Masterarbeit
Universität Ulm
November 2017
281.
Günther,
Timo
Explaining Satisfiability Queries for Software Product Lines
Master
TU Braunschweig, Germany
November 2017
Explaining Satisfiability Queries for Software Product Lines
Master
TU Braunschweig, Germany
November 2017
280.
Bolle,
Stefanie
Feature-orientiertes Framing für die Verifikation von Software-Produktlinien
Master
TU Braunschweig, Germany
November 2017
Feature-orientiertes Framing für die Verifikation von Software-Produktlinien
Master
TU Braunschweig, Germany
November 2017
| DOI: | 10.24355/dbbs.084-201711280920 |
| File: | https://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
October 2017
Debugging Quadrocopters in Augmented Reality
Bachelorarbeit
Universität Ulm
October 2017
278.
Brutzer,
Natascha
Benchmark zur Evaluation von Softwaretechnik Planspielen
Masterarbeit
Universität Ulm
September 2017
Benchmark zur Evaluation von Softwaretechnik Planspielen
Masterarbeit
Universität Ulm
September 2017
277.
Bittner,
Paul Maximilian
Evaluation of Skinning Techniques for Skeletal Animation in MonSteR
Bachelor
TU Braunschweig, Germany
September 2017
Evaluation of Skinning Techniques for Skeletal Animation in MonSteR
Bachelor
TU Braunschweig, Germany
September 2017
276.
Groner,
Raffaela
Abstraction of version changes in models
Masterarbeit
Universität Ulm
July 2017
Abstraction of version changes in models
Masterarbeit
Universität Ulm
July 2017
275.
Richter,
Frank
Confluence for Constraint Handling Rules with Persistent Constraints
Masterarbeit
Universität Ulm
July 2017
Confluence for Constraint Handling Rules with Persistent Constraints
Masterarbeit
Universität Ulm
July 2017
274.
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
July 2017
Empirische Untersuchung der Unterschiede zwischen Prozessdefinition und tatsächlichen Abläufen in der Individual- und Standardsoftwareentwicklung am Beispiel der msgGillardon
Bachelorarbeit
Universität Ulm
July 2017
273.
Bolle,
Stefanie
Automating Deductive Verification of Software Product Lines
Project
TU Braunschweig, Germany
March 2017
Automating Deductive Verification of Software Product Lines
Project
TU Braunschweig, Germany
March 2017
272.
Burmeister,
Carsten Immanuel
On the Scalability of Contracting and Inlining for Deductive Verification
Project
TU Braunschweig, Germany
March 2017
On the Scalability of Contracting and Inlining for Deductive Verification
Project
TU Braunschweig, Germany
March 2017
271.
An,
Ping
Integrationstest der Mobile App "Mercedes me" mit dem erweiterten DaiVB Testframework für einen agilen Entwicklungsprozess.
Masterarbeit
Universität Ulm
February 2017
Integrationstest der Mobile App "Mercedes me" mit dem erweiterten DaiVB Testframework für einen agilen Entwicklungsprozess.
Masterarbeit
Universität Ulm
February 2017
270.
Feustel,
Isabel
Explorative Benutzerstudie zur Förderung des Verständnisses funktionaler Programme durch Einführung interaktiver Konzepte in Flux
Bachelorarbeit
Universität Ulm
January 2017
Explorative Benutzerstudie zur Förderung des Verständnisses funktionaler Programme durch Einführung interaktiver Konzepte in Flux
Bachelorarbeit
Universität Ulm
January 2017
269.
Kanning,
Frederik
Presence Condition Reasoning With Feature Model Interfaces
Master
TU Braunschweig, Germany
January 2017
Presence Condition Reasoning With Feature Model Interfaces
Master
TU Braunschweig, Germany
January 2017
| DOI: | 10.24355/dbbs.084-201702231449-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00043191/ma_kanning.pdf |
2016
268.
Piazzi,
Kai-Uwe
Konzeption, Implementierung und Evaluierung eines Gamifications-Ansatzes in der Softwaretechnik
Diplomarbeit
Universität Ulm
December 2016
Konzeption, Implementierung und Evaluierung eines Gamifications-Ansatzes in der Softwaretechnik
Diplomarbeit
Universität Ulm
December 2016