Supervised Bachelor Theses, Master Theses and Diploma Theses

2013

178.
Kögel, Stefan
Design und Implementierung einer imperativen Sprache für eine stark eingeschränkte virtuelle CPU
Bachelorarbeit
Universität Ulm
Januar 2013

2012

177.
Wohlfrom, Felix
Methodische Hilfestellung zur systematischen Erstellung einer UML-Systemmodellierung für stark zustandsgetriebene Probleme am Beispiel eines Missile-Simulators
Masterarbeit
Universität Ulm
Dezember 2012
176.
Ari, Mehtap
Rechnergestützte Simulation von Softwareentwicklungsprozessen im Kontext eines Planspiels
Diplomarbeit
Universität Ulm
November 2012
175.
Müller, Markus
Entwicklung eines Editors für CoreASM - Redesign nach SE-Methode
Diplomarbeit
Universität Ulm
November 2012
174.
Reichle, Hans-Jörg
Formale Spezifikation von Widgets und Generierung eines Testmodells
Diplomarbeit
Universität Ulm
September 2012
173.
Vöhringer, Sascha
Visualisierung von kategorisierten Anforderungsdokumenten unter Usability Aspekten zur Unterstützung eines Reviewprozessen
Diplomarbeit
Universität Ulm
August 2012
172.
Said, Mostafa Ali
Animation of Mathematical and Graph-based Algorithms expressed in CHR
Bachelorarbeit
Universität Ulm
Juli 2012
171.
El Bolock, Alia
CHR Solver for Binomial Bivariate Polynomial Equation Systems
Bachelorarbeit
Universität Ulm
Juli 2012
170.
Saleh, Aly
CHR-based Text Mining and Classification of Google Search Results
Bachelorarbeit
Universität Ulm
Juli 2012
169.
Ayman, Sharif
A Clustering-based Approach to Summarizing Google Search Results using CHR
Bachelorarbeit
Universität Ulm
Juli 2012
168.
Ismail, Arwa
Visualization of Grid-based and Fundamental CHR Algorithms
Bachelorarbeit
Universität Ulm
Juli 2012
167.
Weiskopf, Marco
Konzeption und prototypische Umsetzung eines Konfiguations-Assistenten für Anforderungsdokumente
Masterarbeit
Universität Ulm
Juni 2012
166.
Schlecht, Tobias
Formalisierung der Transformationen von UML2 Klassen- und Verhaltensmodellen in Java Code
Diplomarbeit
Universität Ulm
Mai 2012
165.
Stegmaier, Michael
Entwurf und Implementierung eines Debuggers für Abstract State Machines in CoreASM
Bachelorarbeit
Universität Ulm
April 2012

2011

164.
Zgorzelski, Alexander
Automatisiertes modellbasiertes Testen der statischen Texte einer graphischen Benutzerschnittstelle
Diplomarbeit
Universität Ulm
Dezember 2011
163.
Knotz, Dennis
Konzeption und prototypische Implementierung kommunizierender Interpreter für unterschiedliche Modellarten am Beispiel von UML-Aktivitäten und Zustandsautomaten
Diplomarbeit
Universität Ulm
November 2011
162.
Bork, Bernhard
Vergleich verschiedener Priorisierungsverfahren an Hand eines realen Softwareprojekts
Diplomarbeit
Universität Ulm
September 2011
161.
Rauscher, Martin
Code Generation for distributed UML Activities
Diplomarbeit
Universität Ulm
August 2011
160.
Weck, Tobias
Restructuring, Extension and Optimization of the Functional Program Transformation System ULTRA
Diplomarbeit
Universität Ulm
Juli 2011
159.
Breckel, Alexander
Error Mining - Statische Analyse von Programmcode durch Vergleich mit umfangreichen Programmdatenbanken
Diplomarbeit
Universität Ulm
Juni 2011
158.
Steglich, Finn
Evaluierung und Anpassung eines Parserframeworks zum partiellen Parsen komplexer Legacy-Sprachen
Diplomarbeit
Universität Ulm
Juni 2011
157.
Ehrhardt, Stefan
Requirements Engineering in Context of Agile Development
Diplomarbeit
Universität Ulm
Mai 2011
156.
Nassal, Alexander
Konzeption und Realisierung von Ansätzen zur Strukturierung und Visualisierung von Code
Diplomarbeit
Universität Ulm
April 2011
155.
Wahnschaffe, Frank
Transformation von Simulink/TargetLink Modellen in symbolisch-mathematische Form
Diplomarbeit
Universität Ulm
April 2011
154.
Herrera, Manuel
Konzeptionierung und exemplarische Umsetzung einer Teststrategie mit systematischen GUI- und Remote-Tests für einen unausgereiften Softwareentwicklungsprozess
Diplomarbeit
Universität Ulm
Februar 2011