Supervised Bachelor Theses, Master Theses and Diploma Theses

2004

55.

Stricker, Michael
Domänenübergreifendes Konfigurationsmanagement im Automotive Bereich
Diplomarbeit
Universität Ulm
März 2004

54.

Kotucz, Agnes
Konsistenzen in UML Diagrammen
Masterarbeit
Universität Ulm
Januar 2004

2003

53.

Schneiderhan, Matthias
Ein webbasiertes Multiuser-System zur Erstellung konsistenter XML-Dokumente
Diplomarbeit
Universität Ulm
Dezember 2003

52.

Hammori, Markus Rajai
Interactive Workflow Mining
Diplomarbeit
Universität Ulm
Dezember 2003

51.

Karadas, Ersin
Projektmanagementunterstützung auf Basis von Anforderungsinformationen
Diplomarbeit
Universität Ulm
Dezember 2003

50.

Raschke, Alexander
Einsatz von Werkzeugen der Informatik zur Modellierung und Simulation von Bewegungssteuerung und Katalepsie im Insektenbein
Diplomarbeit
Universität Ulm
April 2003

49.

Smirnov, Mikhail
Konzeption und prototypische Umsetzung eines Entwicklungsprozesses für die Softwarewiederverwendung
Diplomarbeit
Universität Ulm
April 2003

48.

Kohlmeyer, Jens
Modellierung und Simulation eines biologischen Prozesses (neuronales Aktionspotential) mit hybriden Beschreibungswerkzeugen aus der Informatik
Diplomarbeit
Universität Ulm
März 2003

47.

Bolz, Armin
Systematische Entwicklung flexibel anpassbarer, netzbasierter Systeme für Verwaltungs- und Entscheidungsfindungsaufgaben am Beispiel der Systemunterstützung für Auswahlverfahren
Diplomarbeit
Universität Ulm
Februar 2003

2002

46.

Puschnig, Alexander
Systematische Qualitätsanalyse natürlich-sprachiger Anforderungsdokumente
Diplomarbeit
Universität Ulm
Oktober 2002

45.

Maschmeyer, Niels-Holger
Verbindung natürlichsprachiger Anforderungen mit ausführbaren Modellen
Diplomarbeit
Universität Ulm
Oktober 2002

44.

Raubacher, Roland
Ein Statechart-basiertes Modell für Geschäftsprozess unterstützende Webanwendungen
Diplomarbeit
Universität Ulm
Juli 2002

43.

Müller, Olaf D.
Automatisches Generieren von Experience Bases
Diplomarbeit
Universität Ulm
April 2002

42.

Schubert, Peter
Visualisierung von Techniken bei der Übersetzung ausgewählter OO-Konzepte
Diplomarbeit
Universität Ulm
April 2002

41.

Schonger, Stefan
Aspect and Component Composition using XML Representations of Abstract Syntax Trees
Diplomarbeit
Universität Ulm
Februar 2002

2001

40.

Guttmann, Walter
Transformationelle Entwicklung des Kerns eines Übersetzers für eine logische Programmiersprache
Diplomarbeit
Universität Ulm
Oktober 2001

39.

Ziegler, Johannes
Ein verifiziertes Sicherheitsmodell für multiapplikative Smartcards
Diplomarbeit
Universität Ulm
Januar 2001

2000

38.

Beth, Markus
Animierte Visualisierung von Analysemodellen am Beispiel von Rhapsody
Diplomarbeit
Universität Ulm
Oktober 2000

37.

Haneberg, Dominik
Entwurf innovativer Chipkartenanwendungen
Diplomarbeit
Universität Ulm
August 2000

36.

Seibold, Sven
Integration of the V-Modell 97 with object-oriented development processes: a case study
Diplomarbeit
Universität Ulm
Mai 2000

35.

Duelli, Christoph
Verifikation rückläufiger Systeme: Werkzeugunterstützung und praktische Erfahrung
Diplomarbeit
Universität Ulm
April 2000

34.

Vollmer, Tobias
Korrekte Modellprüfung von Realzeit Systemen
Diplomarbeit
Universität Ulm
März 2000

1999

33.

Biechele, Bernd
Erfahrung bei der objektorientierten Modellierung mit UML am Beispiel der digitalen Signatur
Diplomarbeit
Universität Ulm
August 1999

32.

Sorg, Thomas
Verifikation nebenläufiger Systeme
Diplomarbeit
Universität Ulm
Juli 1999

31.

Kleiner, Nikolaus
Formale Überlegungen zu pragmatischen Methoden des Requiremets Engineering
Diplomarbeit
Universität Ulm
Juni 1999