Supervised Bachelor Theses, Master Theses and Diploma Theses
2017
272.
Burmeister,
Carsten Immanuel
On the Scalability of Contracting and Inlining for Deductive Verification
Project Thesis
TU Braunschweig, Germany
March 2017
On the Scalability of Contracting and Inlining for Deductive Verification
Project Thesis
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's Thesis
TU Braunschweig, Germany
January 2017
Presence Condition Reasoning With Feature Model Interfaces
Master's Thesis
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
267.
Pfäffle,
Armin
Prototypische Implementierung von Code Portalen in IDEs am Beispiel Atom
Diplomarbeit
Universität Ulm
December 2016
Prototypische Implementierung von Code Portalen in IDEs am Beispiel Atom
Diplomarbeit
Universität Ulm
December 2016
266.
Scheibe,
Daniel
Statische Analyse einer Automotive Embedded Software: Automatische Abstraktion einer Strukturdarstellung von Sourcecode zur Komplexitätsreduktion
Diplomarbeit
Universität Ulm
December 2016
Statische Analyse einer Automotive Embedded Software: Automatische Abstraktion einer Strukturdarstellung von Sourcecode zur Komplexitätsreduktion
Diplomarbeit
Universität Ulm
December 2016
265.
Jörg,
Matthias
Unterstützung algebraischer Datentypen in CoreASM
Bachelorarbeit
Universität Ulm
December 2016
Unterstützung algebraischer Datentypen in CoreASM
Bachelorarbeit
Universität Ulm
December 2016
264.
Günther,
Timo
Visual Explanation of Defects in Feature Diagrams
Project Thesis
TU Braunschweig, Germany
December 2016
Visual Explanation of Defects in Feature Diagrams
Project Thesis
TU Braunschweig, Germany
December 2016
| File: | https://youtu.be/0n-CibotBnc |
263.
Heß,
Tobias
The Valued Workflow Satisfiability Problem and Its Solving With an Evolutionary Algorithm
Bachelor's Thesis
University of Ulm, Germany
November 2016
The Valued Workflow Satisfiability Problem and Its Solving With an Evolutionary Algorithm
Bachelor's Thesis
University of Ulm, Germany
November 2016
262.
Götz,
Stefan
Evaluating Programming Languages for the Telecom Domain
Bachelorarbeit
Universität Ulm
October 2016
Evaluating Programming Languages for the Telecom Domain
Bachelorarbeit
Universität Ulm
October 2016
261.
Ananieva,
Sofia
Explaining Defects and Identifying Dependencies in Interrelated Feature Models
Master's Thesis
TU Braunschweig, Germany
September 2016
Explaining Defects and Identifying Dependencies in Interrelated Feature Models
Master's Thesis
TU Braunschweig, Germany
September 2016
| DOI: | 10.24355/dbbs.084-201701191034-0 |
| File: | https://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
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's Thesis
TU Braunschweig, Germany
July 2016
The Role of Complex Constraints in Feature Modeling
Master's Thesis
TU Braunschweig, Germany
July 2016
| DOI: | 10.24355/dbbs.084-201701181304-0 |
| File: | https://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
June 2016
Konzeption und prototypische Implementierung eines Frameworks zur Generierung von beschreibenden Text aus UML Diagrammen
Masterarbeit
Universität Ulm
June 2016
257.
Sontag,
Christopher
FeatFork: Feature Tracking in Preprocessor-Based Forks
Bachelor's Thesis
TU Braunschweig, Germany
May 2016
FeatFork: Feature Tracking in Preprocessor-Based Forks
Bachelor's Thesis
TU Braunschweig, Germany
May 2016
256.
Menzel,
Vasco
Metaanalyse zu Strategien für die formale Verifikation von Software-Produktlinien
Master's Thesis
TU Braunschweig, Germany
February 2016
Metaanalyse zu Strategien für die formale Verifikation von Software-Produktlinien
Master's Thesis
TU Braunschweig, Germany
February 2016
| File: | https://www.isf.cs.tu-bs.de/cms/team/thuem/downloads/thesisMenzel16.pdf |
255.
Pfofe,
Tristan
Automating the Synchronization of Software Variants
Master's Thesis
University of Magdeburg, Germany
January 2016
Automating the Synchronization of Software Variants
Master's Thesis
University of Magdeburg, Germany
January 2016
| File: | https://www.isf.cs.tu-bs.de/cms/team/thuem/downloads/thesisPfofe16.pdf |
254.
Schug,
Elmar
Entwicklung eines Frameworks für die Modellhaltung hochflexibler Editoren zur grafischen Modelierung
Masterarbeit
Universität Ulm
January 2016
Entwicklung eines Frameworks für die Modellhaltung hochflexibler Editoren zur grafischen Modelierung
Masterarbeit
Universität Ulm
January 2016
253.
Neubauer,
Markus
Prototypische Integration des Puffin-Frameworks in einem grafischen Editor und der Vergleich mit alternativen Frameworks
Masterarbeit
Universität Ulm
January 2016
Prototypische Integration des Puffin-Frameworks in einem grafischen Editor und der Vergleich mit alternativen Frameworks
Masterarbeit
Universität Ulm
January 2016
2015
252.
Wiedler,
Michael
Methoden zur Unterstützung von Anpassungen an einem Softwareprojekt
Bachelorarbeit
Universität Ulm
December 2015
Methoden zur Unterstützung von Anpassungen an einem Softwareprojekt
Bachelorarbeit
Universität Ulm
December 2015
251.
Brückner,
Adrian
Analyse und Bewertung der Testautomatisierung von Infotainmentsystemen
Masterarbeit
Universität Ulm
November 2015
Analyse und Bewertung der Testautomatisierung von Infotainmentsystemen
Masterarbeit
Universität Ulm
November 2015
250.
Kohl,
Wilfried
Code Documentation - approaches and tools
Bachelorarbeit
Universität Ulm
November 2015
Code Documentation - approaches and tools
Bachelorarbeit
Universität Ulm
November 2015
249.
Karg,
Stefan
Deutsche Bahn: Evaluation of the model-driven development approach in the openETCS project
Masterarbeit
Universität Ulm
November 2015
Deutsche Bahn: Evaluation of the model-driven development approach in the openETCS project
Masterarbeit
Universität Ulm
November 2015
248.
Eisenreich,
Maximilian
Exploring the Java API with interactive UML class diagrams
Bachelor Arbeit
Universität Ulm
November 2015
Exploring the Java API with interactive UML class diagrams
Bachelor Arbeit
Universität Ulm
November 2015