Supervised Bachelor Theses, Master Theses and Diploma Theses

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

230.

Krüger, Stefan
Product-Line Verification With Abstract Contracts
Master
University of Magdeburg, Germany
Dezember 2014

---

Datei:

https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/K14.pdf

229.

Meinicke, Jens
VarexJ: A Variability-Aware Interpreter for Java Applications
Master
University of Magdeburg, Germany
Dezember 2014

---

Datei:

https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/M14.pdf

228.

Wolf, Christian
Special Tool Support for Functional Programming
Masterarbeit
Universität Ulm
November 2014

227.

Brenner, Markus
ASMc - ein durch Plugins erweiterbarer Compiler für Abstract State Machines
Masterarbeit
Universität Ulm
Oktober 2014

226.

van Onzenoodt, Christian
Konzeption und Implementierung eines Onlineeditors zur verteilten Dokumenterstellung mit Kommentarfunktion
Bachelorarbeit
Universität Ulm
Oktober 2014

225.

Schindele, Benjamin
Prüfprogramm für die Überwachung de Codequalität (Arbeitstitel
Bachelorarbeit
Universität Ulm
Oktober 2014

224.

Hunger, Christian
Visualambda - Entwicklung eines Werzeugs zur Visualisierung, Manipulation und Auswertung von Lambda-Termen
Bachelorarbeit
Universität Ulm
Oktober 2014

223.

Mak, Matthias
Automatisierung von Performancetests
Bachelorarbeit
Universität Ulm
September 2014

222.

Sachchithananthan, Rathes
Entwicklung von Anforderungen aus Zielen anhand einer realen Problemstellung (Arbeitstitel)
Bachelorarbeit
Universität Ulm
September 2014

221.

Kögel, Stefan
Konzeption und prototypische Implementierung einer Bibliothek zur interaktiven Darstellung von Graphen
Masterarbeit
Universität Ulm
September 2014

220.

Csunderlik, Larissa
Statische Überprüfung von textuellen Angaben in Aktivitätsdiagrammen
Bachelorarbeit
Universität Ulm
September 2014

219.

Richter, Frank
An Analysis Tool for CHR programs
Bachelorarbeit
Universität Ulm
Juli 2014

218.

Wei, Liu
Generierung graphischer Repräsentationen aus textuellen Spezifikationen
Masterarbeit
Universität Ulm
Juni 2014