Supervised Bachelor Theses, Master Theses and Diploma Theses

2014

210.
Brenner, Markus
ASMc - ein durch Plugins erweiterbarer Compiler für Abstract State Machines
Masterarbeit
Universität Ulm
October 2014
209.
Hunger, Christian
Visualambda - Entwicklung eines Werzeugs zur Visualisierung, Manipulation und Auswertung von Lambda-Termen
Bachelorarbeit
Universität Ulm
October 2014
208.
Schindele, Benjamin
Prüfprogramm für die Überwachung de Codequalität (Arbeitstitel
Bachelorarbeit
Universität Ulm
October 2014
207.
van Onzenoodt, Christian
Konzeption und Implementierung eines Onlineeditors zur verteilten Dokumenterstellung mit Kommentarfunktion
Bachelorarbeit
Universität Ulm
October 2014
206.
Kögel, Stefan
Konzeption und prototypische Implementierung einer Bibliothek zur interaktiven Darstellung von Graphen
Masterarbeit
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
203.
Csunderlik, Larissa
Statische Überprüfung von textuellen Angaben in Aktivitätsdiagrammen
Bachelorarbeit
Universität Ulm
September 2014
202.
Richter, Frank
An Analysis Tool for CHR programs
Bachelorarbeit
Universität Ulm
July 2014
201.
Streicher, Philipp
Prototyp eines JavaFX Clients für ein bestehendes Datenmodell
Bachelorarbeit
Universität Ulm
June 2014
200.
Wei, Liu
Generierung graphischer Repräsentationen aus textuellen Spezifikationen
Masterarbeit
Universität Ulm
June 2014
199.
Mechelke, Sebastian
Konzeption und Implementierung eines Echtzeitverfahrens zur nutzerintendierten Abstraktion von Quelltextveränderungen
Masterarbeit
Universität Ulm
April 2014
198.
Grünberg, Vincent
Mehrmodalität in der UML: Modellierung multi- und crossmodaler Interaktionsanwendungen in UML-2-Zustandsautomaten durch Profile
Bachelorarbeit
Universität Ulm
January 2014
197.
Kozlowski, Olaf
WebASM: Webplattform zur kooperativen Nutzung von CoreASM
Bachelorarbeit
Universität Ulm
January 2014
196.
Frank, Sandra
Anwendung und Analyse einer zielorientierten Vorgehensweise im Requirements Engineering
Bachelorarbeit
Universität Ulm
January 2014
195.
Grünberg, Vincent
Mehrmodalität in der UML: Modellierung multi- und crossmodaler Interaktionsanwendungen in UML-2-Zustandsautomaten durch Profile
Bachelorarbeit
Universität Ulm
January 2014
194.
Nogatz, Falco
From XML Schema to JSON Schema - Comparison and Translation with Constraint Handling Rules
Bachelorarbeit
Universität Ulm
January 2014

2013

193.
Bloier, Benjamin
Bottom-Up-Parsergenerator: Entwicklung und Implementierung für ELR(1)-Grammatiken
Diplomarbeit
Universität Ulm
October 2013
192.
Sperling, Heinrich
Verwaltung von Anforderungen in agilen Projekten
Bachelorarbeit
Universität Ulm
September 2013
191.
Rau, Matthias
Die Entwicklung eines Eclipse Plug-ins für CHR
Bachelorarbeit
Universität Ulm
September 2013
190.
Yildiz, Ferhat
Grafisches Konzept zur Bewertung von Funktionsausgaben in einer Systemsimulation
Bachelorarbeit
Universität Ulm
September 2013
189.
Gall, Daniel
A Rule-Based Implementation of ACT-R Using Constraint Rules
Masterarbeit
Universität Ulm
September 2013
188.
Kramer, Harry
Entwurf und Umsetzung einer webbasierten Benutzeroberfläche für ein Planspiel zum Management von Softwareprojekten
Bachelorarbeit
Universität Ulm
July 2013
187.
Pfeiffer, Kerstin
Analyse des ASYS Vorgehensmodells dessen Vergleich mit dem V-Modell anhand der Anwendung von Projektmanagementmethoden in einem realem Industrieprojekt
Masterarbeit
Universität Ulm
June 2013
186.
Rehm, Waldemar
A Study on Applying the Cumulative Function Method as an Optimization Pass within the LLVM Framework
Bachelorarbeit
Universität Ulm
May 2013