Supervised Bachelor Theses, Master Theses and Diploma Theses

2004

67.

Betz, Hariolf
A Linear Logic Declarative Semantics for Constraint Handling Rules
Diplomarbeit
Universität Ulm
November 2004

66.

Werner, Jürgen
Relational calculi for the semantics of programming languages and program development
Diplomarbeit
Universität Ulm
November 2004

65.

Seitz, Markus
Erstellung eines ausführbaren Anforderungsmodells zur Simulation der Ressourcenverwaltung in einem UMTS-Netzwerkelement
Diplomarbeit
Universität Ulm
Oktober 2004

64.

Schmid, Michael
Modellierung eines mechanischen Sinnesorgans mit Werkzeugen der Informatik
Diplomarbeit
Universität Ulm
September 2004

63.

Kasper, Thorsten
Identifikation von Änderungsmustern und Klassifikation von Änderungswünschen im Spezifikationsprozess
Diplomarbeit
Universität Ulm
Juli 2004

62.

Maier, Alexander
Visualisierung dynamischer, komplexer Projektpläne in der Produktentwicklung
Diplomarbeit
Universität Ulm
Juli 2004

61.

Özcan, Feriha
Entwurf und Entwicklung eines Konfigurationsservers zur Konfiguration der verschiedenen Parameter eines Leitstellenssystems am Beispiel einer @CORE-Leitstelle
Diplomarbeit
Universität Ulm
Juni 2004

60.

Mayer, Jürgen
Formalisierung von Entwurfsmustern
Masterarbeit
Universität Ulm
Juni 2004

59.

Mauz, Jörg
Konzeption und Implementierung einer internetbasierten Auftragserfassung für das ERP-System ABS
Masterarbeit
Universität Ulm
Juni 2004

58.

Keis, Andreas
Modellgetriebene Software-Entwicklung mit der Model Driven Architecture
Masterarbeit
Universität Ulm
Juni 2004

57.

Schreinert, Stefan
Einsatz von Model Driven Architecture bei der Entwicklung von Product Lifecycle Management Services
Masterarbeit
Universität Ulm
April 2004

56.

Wüchner, Florian
Analysis and Optimization of Requirements Engineering in Time-to-Market Software Projects Based on an Industry Case Study
Diplomarbeit
Universität Ulm
März 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