Supervised Bachelor Theses, Master Theses and Diploma Theses

255.

Pfofe, Tristan
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

253.

Neubauer, Markus
Prototypische Integration des Puffin-Frameworks in einem grafischen Editor und der Vergleich mit alternativen Frameworks
Masterarbeit
Universität Ulm
Januar 2016

252.

Wiedler, Michael
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

250.

Kohl, Wilfried
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

248.

Eisenreich, Maximilian
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

246.

Nogatz, Falco
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's Thesis
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

243.

Stegmaier, Michael
Analyse und Implementierung der erweiterten Semantik eines universellen Kontrollkonstruktes für Abstract State Machines
Masterarbeit
Universität Ulm
Juli 2015

242.

Teufel, Manuel
Evaluierung von DevOps - Werkzeugenfür die IT - Infrastruktur bei einem Automobilhersteller
Bachelorarbeit
Universität Ulm
Juni 2015

241.

Ritter, Roland
Validierung der UML-Semantik für ausgewählte UML-Diagramme
Diplomarbeit
Universität Ulm
Juni 2015

240.

Stanciu, George
Erstellung eines Managers zur dynamischen Verwaltung externer Ressourcen innerhalb eines CI Systems
Bachelorarbeit
Universität Ulm
April 2015

239.

Thüm, Thomas
Product-Line Specification and Verification With Feature-Oriented Contracts
University of Magdeburg, Germany
Februar 2015

---

Datei:

https://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-PhD-Thuem.pdf

238.

Seyfang, Tobias
Analyse, Konzeption und prototypische Implementierung akustischer Codekommentierung
Masterarbeit
Universität Ulm
Januar 2015

237.

Stäbler, Johannes
Debugging von nicht strikten funktionalen Programmen
Bachelorarbeit
Universität Ulm
Januar 2015

236.

Rechenberger, Sascha
Monadische Interpretation multiparadigmatischer Sprachkonstrukte
Bachelorarbeit
Universität Ulm
Januar 2015

235.

Koppers, Florian
SysML Fallstudie – Analyse und Bewertung der Modellierungssprache SysML hinsichtlich ihrer Eignung im Rahmen einer realen industriellen Fallstudie
Masterarbeit
Universität Ulm
Januar 2015

234.

Brutzer, Natascha
Vergleich ausgewählter Software-Werkzeuge nach dem "Logic Scoring of Preferences"-Verfahren
Bachelorarbeit
Universität Ulm
Januar 2015

233.

Jäckel, David
A Framework to Predict and Assess Software Stability on Android devices
Masterarbeit
Universität Ulm
Dezember 2014

232.

El Bolock, Alia
Automatic Poetry Generation Using CHR
Masterarbeit
GUC
Dezember 2014

231.

Brenner, Christian
Konzeption und Entwicklung einer flexiblen Softwarearchitektur zur pototypischen Umsetzung einer Unterstützung von Stimmungsanalysen in sozialen Netzwerken
Bachelorarbeit
Universität Ulm
Dezember 2014