Supervised Bachelor Theses, Master Theses and Diploma Theses

2013

185.
Bild, Raffael
Automated Recursion Removal - A Study on Applying the Cumulative Function Method as an Optimization Pass within the LLVM Framework
Diplomarbeit
Universität Ulm
May 2013
184.
Baier, Uwe
Operator-Präzedenz-Parsing
Bachelorarbeit
Universität Ulm
May 2013
183.
Will, Pascal
Ontologiegenerierung aus natürlichsprachlichen Anforderungsdokumenten für den Einsatz in einem themenbasierten Reviewprozess
Diplomarbeit
Universität Ulm
April 2013
182.
Meyer, Niklas
Konzeption einer Simulationssoftware zur 3D Strukturerzeugung und Topographieanalyse
Bachelorarbeit
Universität Ulm
April 2013
181.
Brückner, Adrian
Entwurf und Implementierung eines generischen Online Diagrammeditorframeworks
Bachelorarbeit
Universität Ulm
April 2013
180.
Lüdeke, Mirco
Neukonzeption und Reimplementierung eines grafischen Editors für UML2 Aktivitätsdiagramme in Eclipse
Zulassungsarbeit
Universität Ulm
March 2013
179.
Seibold, Bernhard
Übersicht über existierende Methoden, Techniken und Werkzeuge zu besserem Codeverständnis und prototypische Implementierung einer Beispielkomponente
Diplomarbeit
Universität Ulm
January 2013
178.
Kögel, Stefan
Design und Implementierung einer imperativen Sprache für eine stark eingeschränkte virtuelle CPU
Bachelorarbeit
Universität Ulm
January 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
December 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.
Ismail, Arwa
Visualization of Grid-based and Fundamental CHR Algorithms
Bachelorarbeit
Universität Ulm
July 2012
171.
Ayman, Sharif
A Clustering-based Approach to Summarizing Google Search Results using CHR
Bachelorarbeit
Universität Ulm
July 2012
170.
Saleh, Aly
CHR-based Text Mining and Classification of Google Search Results
Bachelorarbeit
Universität Ulm
July 2012
169.
El Bolock, Alia
CHR Solver for Binomial Bivariate Polynomial Equation Systems
Bachelorarbeit
Universität Ulm
July 2012
168.
Said, Mostafa Ali
Animation of Mathematical and Graph-based Algorithms expressed in CHR
Bachelorarbeit
Universität Ulm
July 2012
167.
Weiskopf, Marco
Konzeption und prototypische Umsetzung eines Konfiguations-Assistenten für Anforderungsdokumente
Masterarbeit
Universität Ulm
June 2012
166.
Schlecht, Tobias
Formalisierung der Transformationen von UML2 Klassen- und Verhaltensmodellen in Java Code
Diplomarbeit
Universität Ulm
May 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
December 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