Supervised Bachelor Theses, Master Theses and Diploma Theses
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
TU Braunschweig, Germany
Dezember 2016
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
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
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
Explaining Defects and Identifying Dependencies in Interrelated Feature Models
Master
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
TU Braunschweig, Germany
Juli 2016
The Role of Complex Constraints in Feature Modeling
Master
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
TU Braunschweig, Germany
Mai 2016
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
Metaanalyse zu Strategien für die formale Verifikation von Software-Produktlinien
Master
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
University of Magdeburg, Germany
Januar 2016
Automating the Synchronization of Software Variants
Master
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
247.
Psader,
Stephan
Verteilte Ausführung von Multi-Agent-ACMs
Diplomarbeit
Universität Ulm
November 2015
Verteilte Ausführung von Multi-Agent-ACMs
Diplomarbeit
Universität Ulm
November 2015
246.
Nogatz,
Falco
CHR.js: Compiling Constraint Handling Rules to JavaScript
Masterarbeit
Universität Ulm
Oktober 2015
CHR.js: Compiling Constraint Handling Rules to JavaScript
Masterarbeit
Universität Ulm
Oktober 2015
245.
Krieter,
Sebastian
Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs
Master
University of Magdeburg, Germany
Oktober 2015
Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs
Master
University of Magdeburg, Germany
Oktober 2015
| Datei: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisKrieter15.pdf |
244.
Bebber,
Daniel
Extending the CHR Confluence Tester
Bachelorarbeit
Universität Ulm
Oktober 2015
Extending the CHR Confluence Tester
Bachelorarbeit
Universität Ulm
Oktober 2015
243.
Stegmaier,
Michael
Analyse und Implementierung der erweiterten Semantik eines universellen Kontrollkonstruktes für Abstract State Machines
Masterarbeit
Universität Ulm
Juli 2015
Analyse und Implementierung der erweiterten Semantik eines universellen Kontrollkonstruktes für Abstract State Machines
Masterarbeit
Universität Ulm
Juli 2015