Supervised Bachelor Theses, Master Theses and Diploma Theses
2017
280.
Bolle,
Stefanie
Feature-orientiertes Framing für die Verifikation von Software-Produktlinien
Master's Thesis
TU Braunschweig, Germany
November 2017
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: |  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
Oktober 2017
Debugging Quadrocopters in Augmented Reality
Bachelorarbeit
Universität Ulm
Oktober 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's Thesis
TU Braunschweig, Germany
September 2017
Evaluation of Skinning Techniques for Skeletal Animation in MonSteR
Bachelor's Thesis
TU Braunschweig, Germany
September 2017
276.
Groner,
Raffaela
Abstraction of version changes in models
Masterarbeit
Universität Ulm
Juli 2017
Abstraction of version changes in models
Masterarbeit
Universität Ulm
Juli 2017
275.
Richter,
Frank
Confluence for Constraint Handling Rules with Persistent Constraints
Masterarbeit
Universität Ulm
Juli 2017
Confluence for Constraint Handling Rules with Persistent Constraints
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
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.
Bolle,
Stefanie
Automating Deductive Verification of Software Product Lines
Project Thesis
TU Braunschweig, Germany
März 2017
Automating Deductive Verification of Software Product Lines
Project Thesis
TU Braunschweig, Germany
März 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 |