Supervised Bachelor Theses, Master Theses and Diploma Theses

2014

227.
Schindele, Benjamin
Prüfprogramm für die Überwachung de Codequalität (Arbeitstitel
Bachelorarbeit
Universität Ulm
October 2014
226.
Hunger, Christian
Visualambda - Entwicklung eines Werzeugs zur Visualisierung, Manipulation und Auswertung von Lambda-Termen
Bachelorarbeit
Universität Ulm
October 2014
225.
Brenner, Markus
ASMc - ein durch Plugins erweiterbarer Compiler für Abstract State Machines
Masterarbeit
Universität Ulm
October 2014
224.
van Onzenoodt, Christian
Konzeption und Implementierung eines Onlineeditors zur verteilten Dokumenterstellung mit Kommentarfunktion
Bachelorarbeit
Universität Ulm
October 2014
223.
Sachchithananthan, Rathes
Entwicklung von Anforderungen aus Zielen anhand einer realen Problemstellung (Arbeitstitel)
Bachelorarbeit
Universität Ulm
September 2014
222.
Mak, Matthias
Automatisierung von Performancetests
Bachelorarbeit
Universität Ulm
September 2014
221.
Csunderlik, Larissa
Statische Überprüfung von textuellen Angaben in Aktivitätsdiagrammen
Bachelorarbeit
Universität Ulm
September 2014
220.
Kögel, Stefan
Konzeption und prototypische Implementierung einer Bibliothek zur interaktiven Darstellung von Graphen
Masterarbeit
Universität Ulm
September 2014
219.
Richter, Frank
An Analysis Tool for CHR programs
Bachelorarbeit
Universität Ulm
July 2014
218.
Wei, Liu
Generierung graphischer Repräsentationen aus textuellen Spezifikationen
Masterarbeit
Universität Ulm
June 2014
217.
Streicher, Philipp
Prototyp eines JavaFX Clients für ein bestehendes Datenmodell
Bachelorarbeit
Universität Ulm
June 2014
216.
Benduhn, Fabian
Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques
Master
University of Magdeburg, Germany
April 2014
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisBenduhn14.pdf
215.
Mechelke, Sebastian
Konzeption und Implementierung eines Echtzeitverfahrens zur nutzerintendierten Abstraktion von Quelltextveränderungen
Masterarbeit
Universität Ulm
April 2014
214.
Proksch, Florian; Krüger, Stefan
Tool Support for Contracts in FeatureIDE
Project
University of Magdeburg, Germany
April 2014
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/PK14.pdf
213.
Praast, Matthias
Effiziente Kodierung von Variabilität in Spezifikationen
Master
University of Magdeburg, Germany
March 2014
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisPraast14.pdf
212.
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
211.
Frank, Sandra
Anwendung und Analyse einer zielorientierten Vorgehensweise im Requirements Engineering
Bachelorarbeit
Universität Ulm
January 2014
210.
Kozlowski, Olaf
WebASM: Webplattform zur kooperativen Nutzung von CoreASM
Bachelorarbeit
Universität Ulm
January 2014
209.
Nogatz, Falco
From XML Schema to JSON Schema - Comparison and Translation with Constraint Handling Rules
Bachelorarbeit
Universität Ulm
January 2014
208.
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

2013

207.
Bloier, Benjamin
Bottom-Up-Parsergenerator: Entwicklung und Implementierung für ELR(1)-Grammatiken
Diplomarbeit
Universität Ulm
October 2013
206.
Yildiz, Ferhat
Grafisches Konzept zur Bewertung von Funktionsausgaben in einer Systemsimulation
Bachelorarbeit
Universität Ulm
September 2013
205.
Gall, Daniel
A Rule-Based Implementation of ACT-R Using Constraint Rules
Masterarbeit
Universität Ulm
September 2013
204.
Sperling, Heinrich
Verwaltung von Anforderungen in agilen Projekten
Bachelorarbeit
Universität Ulm
September 2013
203.
Rau, Matthias
Die Entwicklung eines Eclipse Plug-ins für CHR
Bachelorarbeit
Universität Ulm
September 2013