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
März 2017
On the Scalability of Contracting and Inlining for Deductive Verification
Project Thesis
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
Integrationstest der Mobile App "Mercedes me" mit dem erweiterten DaiVB Testframework für einen agilen Entwicklungsprozess.
Masterarbeit
Universität Ulm
Februar 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
Januar 2017
Explorative Benutzerstudie zur Förderung des Verständnisses funktionaler Programme durch Einführung interaktiver Konzepte in Flux
Bachelorarbeit
Universität Ulm
Januar 2017
269.
Kanning,
Frederik
Presence Condition Reasoning With Feature Model Interfaces
Master's Thesis
TU Braunschweig, Germany
Januar 2017
Presence Condition Reasoning With Feature Model Interfaces
Master's Thesis
TU Braunschweig, Germany
Januar 2017
| DOI: | 10.24355/dbbs.084-201702231449-0 |
| Datei: |  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
Dezember 2016
Konzeption, Implementierung und Evaluierung eines Gamifications-Ansatzes in der Softwaretechnik
Diplomarbeit
Universität Ulm
Dezember 2016
267.
Pfäffle,
Armin
Prototypische Implementierung von Code Portalen in IDEs am Beispiel Atom
Diplomarbeit
Universität Ulm
Dezember 2016
Prototypische Implementierung von Code Portalen in IDEs am Beispiel Atom
Diplomarbeit
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
Statische Analyse einer Automotive Embedded Software: Automatische Abstraktion einer Strukturdarstellung von Sourcecode zur Komplexitätsreduktion
Diplomarbeit
Universität Ulm
Dezember 2016
265.
Jörg,
Matthias
Unterstützung algebraischer Datentypen in CoreASM
Bachelorarbeit
Universität Ulm
Dezember 2016
Unterstützung algebraischer Datentypen in CoreASM
Bachelorarbeit
Universität Ulm
Dezember 2016
264.
Günther,
Timo
Visual Explanation of Defects in Feature Diagrams
Project Thesis
TU Braunschweig, Germany
Dezember 2016
Visual Explanation of Defects in Feature Diagrams
Project Thesis
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'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
Oktober 2016
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'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 |
| Datei: | 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
Juli 2016
The Role of Complex Constraints in Feature Modeling
Master's Thesis
TU Braunschweig, Germany
Juli 2016
| DOI: | 10.24355/dbbs.084-201701181304-0 |
| Datei: | 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
Juni 2016
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's Thesis
TU Braunschweig, Germany
Mai 2016
FeatFork: Feature Tracking in Preprocessor-Based Forks
Bachelor's Thesis
TU Braunschweig, Germany
Mai 2016
256.
Menzel,
Vasco
Metaanalyse zu Strategien für die formale Verifikation von Software-Produktlinien
Master's Thesis
TU Braunschweig, Germany
Februar 2016
Metaanalyse zu Strategien für die formale Verifikation von Software-Produktlinien
Master's Thesis
TU Braunschweig, Germany
Februar 2016
| Datei: | 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
Januar 2016
Automating the Synchronization of Software Variants
Master's Thesis
University of Magdeburg, Germany
Januar 2016
| Datei: | 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
Januar 2016
Entwicklung eines Frameworks für die Modellhaltung hochflexibler Editoren zur grafischen Modelierung
Masterarbeit
Universität Ulm
Januar 2016
253.
Neubauer,
Markus
Prototypische Integration des Puffin-Frameworks in einem grafischen Editor und der Vergleich mit alternativen Frameworks
Masterarbeit
Universität Ulm
Januar 2016
Prototypische Integration des Puffin-Frameworks in einem grafischen Editor und der Vergleich mit alternativen Frameworks
Masterarbeit
Universität Ulm
Januar 2016
2015
252.
Wiedler,
Michael
Methoden zur Unterstützung von Anpassungen an einem Softwareprojekt
Bachelorarbeit
Universität Ulm
Dezember 2015
Methoden zur Unterstützung von Anpassungen an einem Softwareprojekt
Bachelorarbeit
Universität Ulm
Dezember 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