Supervised Bachelor Theses, Master Theses and Diploma Theses

2017

283.
Sontag, Christopher
VariantSync: Automating the Synchronization of Software Variants
Project Thesis
TU Braunschweig, Germany
Dezember 2017
Datei:https://www.youtube.com/watch?v=JMIDvWYvaR0&list=PLBZnGZWZgEBZ8Me6WDQGdQRg438_Z4sl_&index=2
282.
Kempfle, Moritz
Converting EMF Ecore Meta Models to Haskell Algebraic Data Types
Bachelor
Universität Ulm
Dezember 2017
281.
(Burmeister), Carsten Immanuel Pardylla
Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY
Master's Thesis
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
280.
Günther, Timo
Explaining Satisfiability Queries for Software Product Lines
Master's Thesis
TU Braunschweig, Germany
November 2017
DOI:10.24355/dbbs.084-201711171100
Datei:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044082/Guenther_Timo_Explaining_Satisfiabiltiy_Queries_for_Software_Product_Lines.pdf
279.
Geiselmann, Tobias
A Method for Semi-Automatic, Domain-Specific Ontology Development for Requirements Engineering
Masterarbeit
Masterarbeit
Universität Ulm
November 2017
278.
Bolle, Stefanie
Feature-orientiertes Framing für die Verifikation von Software-Produktlinien
Master's Thesis
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
277.
Ruof, Jona
Debugging Quadrocopters in Augmented Reality
Bachelorarbeit
Universität Ulm
Oktober 2017
276.
Brutzer, Natascha
Benchmark zur Evaluation von Softwaretechnik Planspielen
Masterarbeit
Universität Ulm
September 2017
275.
Groner, Raffaela
Abstraction of version changes in models
Masterarbeit
Universität Ulm
Juli 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
Juli 2017
273.
Richter, Frank
Confluence for Constraint Handling Rules with Persistent Constraints
Masterarbeit
Universität Ulm
Juli 2017
272.
Burmeister, Carsten Immanuel
On the Scalability of Contracting and Inlining for Deductive Verification
Project Thesis
TU Braunschweig, Germany
März 2017
271.
Bolle, Stefanie
Automating Deductive Verification of Software Product Lines
Project Thesis
TU Braunschweig, Germany
März 2017
270.
An, Ping
Integrationstest der Mobile App "Mercedes me" mit dem erweiterten DaiVB Testframework für einen agilen Entwicklungsprozess.
Masterarbeit
Universität Ulm
Februar 2017
269.
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
268.
Kanning, Frederik
Presence Condition Reasoning with Feature Model Interfaces
Master's Thesis
TU Braunschweig, Germany
Januar 2017
DOI:10.24355/dbbs.084-201702231449-0
Datei:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00043191/ma_kanning.pdf

2016

267.
Piazzi, Kai-Uwe
Konzeption, Implementierung und Evaluierung eines Gamifications-Ansatzes in der Softwaretechnik
Diplomarbeit
Universität Ulm
Dezember 2016
266.
Günther, Timo
Visual Explanation of Defects in Feature Diagrams
Project Thesis
TU Braunschweig, Germany
Dezember 2016
Datei:https://youtu.be/0n-CibotBnc
265.
Jörg, Matthias
Unterstützung algebraischer Datentypen in CoreASM
Bachelorarbeit
Universität Ulm
Dezember 2016
264.
Scheibe, Daniel
Statische Analyse einer Automotive Embedded Software: Automatische Abstraktion einer Strukturdarstellung von Sourcecode zur Komplexitätsreduktion
Diplomarbeit
Universität Ulm
Dezember 2016
263.
Pfäffle, Armin
Prototypische Implementierung von Code Portalen in IDEs am Beispiel Atom
Diplomarbeit
Universität Ulm
Dezember 2016
262.
Heß, Tobias
The Valued Workflow Satisfiability Problem and Its Solving With an Evolutionary Algorithm
Bachelor's Thesis
Bachelor's Thesis
University of Ulm, Germany
November 2016
261.
Götz, Stefan
Evaluating Programming Languages for the Telecom Domain
Bachelorarbeit
Universität Ulm
Oktober 2016
260.
Cüppers, Joscha
Type checking in ClickyEvaluation - Adding type checking to ClickyEvaluation and evaluation its usefulness
Bachelorarbeit
Universität Ulm
September 2016
259.
Ananieva, Sofia
Explaining Defects and Identifying Dependencies in Interrelated Feature Models
Master's Thesis
TU Braunschweig, Germany
September 2016
DOI:10.24355/dbbs.084-201701191034-0
Datei:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00043005/thesisAnanieva16.pdf