Supervised Bachelor Theses, Master Theses and Diploma Theses

2012

177.
Said, Mostafa Ali
Animation of Mathematical and Graph-based Algorithms expressed in CHR
Bachelorarbeit
Universität Ulm
July 2012
176.
Holthusen, Sönke
Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE
Master
University of Magdeburg, Germany
July 2012
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisHolthusen.pdf
175.
Ismail, Arwa
Visualization of Grid-based and Fundamental CHR Algorithms
Bachelorarbeit
Universität Ulm
July 2012
174.
Ayman, Sharif
A Clustering-based Approach to Summarizing Google Search Results using CHR
Bachelorarbeit
Universität Ulm
July 2012
173.
Weiskopf, Marco
Konzeption und prototypische Umsetzung eines Konfiguations-Assistenten für Anforderungsdokumente
Masterarbeit
Universität Ulm
June 2012
172.
Schlecht, Tobias
Formalisierung der Transformationen von UML2 Klassen- und Verhaltensmodellen in Java Code
Diplomarbeit
Universität Ulm
May 2012
171.
Stegmaier, Michael
Entwurf und Implementierung eines Debuggers für Abstract State Machines in CoreASM
Bachelorarbeit
Universität Ulm
April 2012
170.
Schröter, Reimar
Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET
Master
University of Magdeburg, Germany
April 2012
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisSchroeter12.pdf
169.
Haase, Steffen
A Program Slicing Approach to Feature Identification in Legacy C Code
Master
University of Magdeburg, Germany
February 2012
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisHaase.pdf

2011

168.
Zgorzelski, Alexander
Automatisiertes modellbasiertes Testen der statischen Texte einer graphischen Benutzerschnittstelle
Diplomarbeit
Universität Ulm
December 2011
167.
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
166.
Bork, Bernhard
Vergleich verschiedener Priorisierungsverfahren an Hand eines realen Softwareprojekts
Diplomarbeit
Universität Ulm
September 2011
165.
Mewes, Christoph
Migration von Subversion nach Mercurial und Einsatz dezentraler Versionskontrolle in Unternehmen
Bachelor
University of Magdeburg, Germany
August 2011
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisMewes.pdf
164.
Rauscher, Martin
Code Generation for distributed UML Activities
Diplomarbeit
Universität Ulm
August 2011
163.
Weck, Tobias
Restructuring, Extension and Optimization of the Functional Program Transformation System ULTRA
Diplomarbeit
Universität Ulm
July 2011
162.
Breckel, Alexander
Error Mining - Statische Analyse von Programmcode durch Vergleich mit umfangreichen Programmdatenbanken
Diplomarbeit
Universität Ulm
June 2011
161.
Steglich, Finn
Evaluierung und Anpassung eines Parserframeworks zum partiellen Parsen komplexer Legacy-Sprachen
Diplomarbeit
Universität Ulm
June 2011
160.
Ehrhardt, Stefan
Requirements Engineering in Context of Agile Development
Diplomarbeit
Universität Ulm
May 2011
159.
Wahnschaffe, Frank
Transformation von Simulink/TargetLink Modellen in symbolisch-mathematische Form
Diplomarbeit
Universität Ulm
April 2011
158.
Nassal, Alexander
Konzeption und Realisierung von Ansätzen zur Strukturierung und Visualisierung von Code
Diplomarbeit
Universität Ulm
April 2011
157.
Adler, Constanze
Optional Composition - A Solution to the Optional Feature Problem?
Master
University of Magdeburg, Germany
February 2011
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisAdler10.pdf
156.
Herrera, Manuel
Konzeptionierung und exemplarische Umsetzung einer Teststrategie mit systematischen GUI- und Remote-Tests für einen unausgereiften Softwareentwicklungsprozess
Diplomarbeit
Universität Ulm
February 2011
155.
Holoch, Wolfgang
Metriken zur Qualitätsmessung von Simulink-Modellen in der modellgetriebenen Softwareentwicklung
Masterarbeit
Universität Ulm
January 2011
154.
Sulzbacher, Fabian
Leitfaden zur methodischen Entwicklung einer Softwarearchitektur für Systemfamilien mit UML im Bereich Automotive
Diplomarbeit
Universität Ulm
January 2011

2010

153.
Wengenmayer, Marco
Entwicklung eines Verfahrens zur systematischen Qualitätssicherung eines Code-Generators
Diplomarbeit
Universität Ulm
December 2010