Supervised Bachelor Theses, Master Theses and Diploma Theses

2017

278.
Bittner, Paul Maximilian
Evaluation of Skinning Techniques for Skeletal Animation in MonSteR
Bachelor
TU Braunschweig, Germany
September 2017
277.
Brutzer, Natascha
Benchmark zur Evaluation von Softwaretechnik Planspielen
Masterarbeit
Universität Ulm
September 2017
276.
Groner, Raffaela
Abstraction of version changes in models
Masterarbeit
Universität Ulm
Juli 2017
275.
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
274.
Richter, Frank
Confluence for Constraint Handling Rules with Persistent Constraints
Masterarbeit
Universität Ulm
Juli 2017
273.
Burmeister, Carsten Immanuel
On the Scalability of Contracting and Inlining for Deductive Verification
Project
TU Braunschweig, Germany
März 2017
272.
Bolle, Stefanie
Automating Deductive Verification of Software Product Lines
Project
TU Braunschweig, Germany
März 2017
271.
An, Ping
Integrationstest der Mobile App "Mercedes me" mit dem erweiterten DaiVB Testframework für einen agilen Entwicklungsprozess.
Masterarbeit
Universität Ulm
Februar 2017
270.
Kanning, Frederik
Presence Condition Reasoning With Feature Model Interfaces
Master
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
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

2016

268.
Piazzi, Kai-Uwe
Konzeption, Implementierung und Evaluierung eines Gamifications-Ansatzes in der Softwaretechnik
Diplomarbeit
Universität Ulm
Dezember 2016
267.
Jörg, Matthias
Unterstützung algebraischer Datentypen in CoreASM
Bachelorarbeit
Universität Ulm
Dezember 2016
266.
Scheibe, Daniel
Statische Analyse einer Automotive Embedded Software: Automatische Abstraktion einer Strukturdarstellung von Sourcecode zur Komplexitätsreduktion
Diplomarbeit
Universität Ulm
Dezember 2016
265.
Pfäffle, Armin
Prototypische Implementierung von Code Portalen in IDEs am Beispiel Atom
Diplomarbeit
Universität Ulm
Dezember 2016
264.
Günther, Timo
Visual Explanation of Defects in Feature Diagrams
Project
TU Braunschweig, Germany
Dezember 2016
Datei:https://youtu.be/0n-CibotBnc
263.
Heß, Tobias
The Valued Workflow Satisfiability Problem and Its Solving With an Evolutionary Algorithm
Bachelor
University of Ulm, Germany
November 2016
262.
Götz, Stefan
Evaluating Programming Languages for the Telecom Domain
Bachelorarbeit
Universität Ulm
Oktober 2016
261.
Ananieva, Sofia
Explaining Defects and Identifying Dependencies in Interrelated Feature Models
Master
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
260.
Cüppers, Joscha
Type checking in ClickyEvaluation - Adding type checking to ClickyEvaluation and evaluation its usefulness
Bachelorarbeit
Universität Ulm
September 2016
259.
Knüppel, Alexander
The Role of Complex Constraints in Feature Modeling
Master
TU Braunschweig, Germany
Juli 2016
DOI:10.24355/dbbs.084-201701181304-0
Datei:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00043003/thesisKnueppel16.pdf
258.
Nguyen, Mai Trang
Konzeption und prototypische Implementierung eines Frameworks zur Generierung von beschreibenden Text aus UML Diagrammen
Masterarbeit
Universität Ulm
Juni 2016
257.
Sontag, Christopher
FeatFork: Feature Tracking in Preprocessor-Based Forks
Bachelor
TU Braunschweig, Germany
Mai 2016
256.
Menzel, Vasco
Metaanalyse zu Strategien für die formale Verifikation von Software-Produktlinien
Master
TU Braunschweig, Germany
Februar 2016
Datei:pdfhttps://www.isf.cs.tu-bs.de/cms/team/thuem/downloads/thesisMenzel16.pdf
255.
Neubauer, Markus
Prototypische Integration des Puffin-Frameworks in einem grafischen Editor und der Vergleich mit alternativen Frameworks
Masterarbeit
Universität Ulm
Januar 2016
254.
Schug, Elmar
Entwicklung eines Frameworks für die Modellhaltung hochflexibler Editoren zur grafischen Modelierung
Masterarbeit
Universität Ulm
Januar 2016