Supervised Bachelor Theses, Master Theses and Diploma Theses

2015

228.
Psader, Stephan
Verteilte Ausführung von Multi-Agent-ACMs
Diplomarbeit
Universität Ulm
November 2015
227.
Kohl, Wilfried
Code Documentation - approaches and tools
Bachelorarbeit
Universität Ulm
November 2015
226.
Karg, Stefan
Deutsche Bahn: Evaluation of the model-driven development approach in the openETCS project
Masterarbeit
Universität Ulm
November 2015
225.
Nogatz, Falco
CHR.js: Compiling Constraint Handling Rules to JavaScript
Masterarbeit
Universität Ulm
Oktober 2015
224.
Bebber, Daniel
Extending the CHR Confluence Tester
Bachelorarbeit
Universität Ulm
Oktober 2015
223.
Stegmaier, Michael
Analyse und Implementierung der erweiterten Semantik eines universellen Kontrollkonstruktes für Abstract State Machines
Masterarbeit
Universität Ulm
Juli 2015
222.
Teufel, Manuel
Evaluierung von DevOps - Werkzeugenfür die IT - Infrastruktur bei einem Automobilhersteller
Bachelorarbeit
Universität Ulm
Juni 2015
221.
Ritter, Roland
Validierung der UML-Semantik für ausgewählte UML-Diagramme
Diplomarbeit
Universität Ulm
Juni 2015
220.
Stanciu, George
Erstellung eines Managers zur dynamischen Verwaltung externer Ressourcen innerhalb eines CI Systems
Bachelorarbeit
Universität Ulm
April 2015
219.
Stäbler, Johannes
Debugging von nicht strikten funktionalen Programmen
Bachelorarbeit
Universität Ulm
Januar 2015
218.
Rechenberger, Sascha
Monadische Interpretation multiparadigmatischer Sprachkonstrukte
Bachelorarbeit
Universität Ulm
Januar 2015
217.
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
216.
Brutzer, Natascha
Vergleich ausgewählter Software-Werkzeuge nach dem "Logic Scoring of Preferences"-Verfahren
Bachelorarbeit
Universität Ulm
Januar 2015
215.
Seyfang, Tobias
Analyse, Konzeption und prototypische Implementierung akustischer Codekommentierung
Masterarbeit
Universität Ulm
Januar 2015

2014

214.
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
213.
El Bolock, Alia
Automatic Poetry Generation Using CHR
Masterarbeit
GUC
Dezember 2014
212.
Jäckel, David
A Framework to Predict and Assess Software Stability on Android devices
Masterarbeit
Universität Ulm
Dezember 2014
211.
Wolf, Christian
Special Tool Support for Functional Programming
Masterarbeit
Universität Ulm
November 2014
210.
van Onzenoodt, Christian
Konzeption und Implementierung eines Onlineeditors zur verteilten Dokumenterstellung mit Kommentarfunktion
Bachelorarbeit
Universität Ulm
Oktober 2014
209.
Hunger, Christian
Visualambda - Entwicklung eines Werzeugs zur Visualisierung, Manipulation und Auswertung von Lambda-Termen
Bachelorarbeit
Universität Ulm
Oktober 2014
208.
Brenner, Markus
ASMc - ein durch Plugins erweiterbarer Compiler für Abstract State Machines
Masterarbeit
Universität Ulm
Oktober 2014
207.
Schindele, Benjamin
Prüfprogramm für die Überwachung de Codequalität (Arbeitstitel
Bachelorarbeit
Universität Ulm
Oktober 2014
206.
Csunderlik, Larissa
Statische Überprüfung von textuellen Angaben in Aktivitätsdiagrammen
Bachelorarbeit
Universität Ulm
September 2014
205.
Mak, Matthias
Automatisierung von Performancetests
Bachelorarbeit
Universität Ulm
September 2014
204.
Sachchithananthan, Rathes
Entwicklung von Anforderungen aus Zielen anhand einer realen Problemstellung (Arbeitstitel)
Bachelorarbeit
Universität Ulm
September 2014