Supervised Bachelor Theses, Master Theses and Diploma Theses
1999
30.
Does,
Niels
Implementierungsaspekte zur Entwicklung einer betriebssystem- und rechnerarchitekturunabhängigen Fernverwaltung
Diplomarbeit
Universität Ulm
Juni 1999
Implementierungsaspekte zur Entwicklung einer betriebssystem- und rechnerarchitekturunabhängigen Fernverwaltung
Diplomarbeit
Universität Ulm
Juni 1999
29.
Hunnius,
Jan-Peter von
Objektorientierte Entwicklung kontinuierlicher Systeme: Anwendung und Bewertung der Octopus Methode
Diplomarbeit
Universität Ulm
Juni 1999
Objektorientierte Entwicklung kontinuierlicher Systeme: Anwendung und Bewertung der Octopus Methode
Diplomarbeit
Universität Ulm
Juni 1999
28.
Kiedaisch,
Friedemann
Firmenspezifisches Tailoring des V-Modells
Diplomarbeit
Universität Ulm
Mai 1999
Firmenspezifisches Tailoring des V-Modells
Diplomarbeit
Universität Ulm
Mai 1999
27.
Pfeiffer,
Christian
Modellierung auf der Basis von UML am Beispiel einer Universitätsabteilung
Diplomarbeit
Universität Ulm
März 1999
Modellierung auf der Basis von UML am Beispiel einer Universitätsabteilung
Diplomarbeit
Universität Ulm
März 1999
26.
Hiller,
Martin
Objektorientierte Systemanalyse mit Rhapsody
Diplomarbeit
Universität Ulm
März 1999
Objektorientierte Systemanalyse mit Rhapsody
Diplomarbeit
Universität Ulm
März 1999
1998
25.
Gösele,
Michael
Interaktive Konstruktion von dreidimensionalen Szenen
Diplomarbeit
Universität Ulm
Dezember 1998
Interaktive Konstruktion von dreidimensionalen Szenen
Diplomarbeit
Universität Ulm
Dezember 1998
24.
Häberlein,
Tobias
Systemunterstützung für die transformationelle Entwicklung von Hardwarebausteinen
Diplomarbeit
Universität Ulm
Dezember 1998
Systemunterstützung für die transformationelle Entwicklung von Hardwarebausteinen
Diplomarbeit
Universität Ulm
Dezember 1998
23.
Metzger,
Markus
Zielsprachenoptimierung für die M 6812 Prozessorfamilie als Postprozessor für einen bestehenden Compiler
Diplomarbeit
Universität Ulm
Dezember 1998
Zielsprachenoptimierung für die M 6812 Prozessorfamilie als Postprozessor für einen bestehenden Compiler
Diplomarbeit
Universität Ulm
Dezember 1998
22.
Quell,
Thorsten
Typisierung und Programmtransformation
Diplomarbeit
Universität Ulm
Juli 1998
Typisierung und Programmtransformation
Diplomarbeit
Universität Ulm
Juli 1998
21.
Thums,
Andreas
Fehlersuche in formalen Spezifikationen
Diplomarbeit
Universität Ulm
Juni 1998
Fehlersuche in formalen Spezifikationen
Diplomarbeit
Universität Ulm
Juni 1998
20.
Schmid,
Joachim
Nichtdeterminismus und Programmtransformation
Diplomarbeit
Universität Ulm
Juni 1998
Nichtdeterminismus und Programmtransformation
Diplomarbeit
Universität Ulm
Juni 1998
19.
Schirmer,
Gabriele
Objektorientierte Entwicklung eines generischen Grapheditors
Diplomarbeit
Universität Ulm
April 1998
Objektorientierte Entwicklung eines generischen Grapheditors
Diplomarbeit
Universität Ulm
April 1998
18.
Ehm,
Thorsten
Interaktive Spezifikation und Konstruktion graphischer Schnittstellen
Diplomarbeit
Universität Ulm
Januar 1998
Interaktive Spezifikation und Konstruktion graphischer Schnittstellen
Diplomarbeit
Universität Ulm
Januar 1998
1997
17.
Wieser,
Eva
Kontinuierliche Erfahrungsbeschreibung bei Prozeßverbesserung: Ein Objektmodell
Diplomarbeit
Universität Ulm
Dezember 1997
Kontinuierliche Erfahrungsbeschreibung bei Prozeßverbesserung: Ein Objektmodell
Diplomarbeit
Universität Ulm
Dezember 1997
16.
Prager,
Marc
Algorithmenschemata für funktionale Programmierung
Diplomarbeit
Universität Ulm
August 1997
Algorithmenschemata für funktionale Programmierung
Diplomarbeit
Universität Ulm
August 1997
15.
Dettinger,
Mark
ULTRA: Ein interaktives Transformationssystem für funktionale Programme
Diplomarbeit
Universität Ulm
August 1997
ULTRA: Ein interaktives Transformationssystem für funktionale Programme
Diplomarbeit
Universität Ulm
August 1997
14.
Krusemark,
Michael
Implementierung einer interaktiven Entwicklungsumgebung für Gofer
Diplomarbeit
Universität Ulm
April 1997
Implementierung einer interaktiven Entwicklungsumgebung für Gofer
Diplomarbeit
Universität Ulm
April 1997
13.
Vogt,
Harald
Verifikation reaktiver Software-Komponenten
Diplomarbeit
Universität Ulm
April 1997
Verifikation reaktiver Software-Komponenten
Diplomarbeit
Universität Ulm
April 1997
12.
Duckeck,
Mathias J.
Erweiterte Supercompilation
Diplomarbeit
Universität Ulm
März 1997
Erweiterte Supercompilation
Diplomarbeit
Universität Ulm
März 1997
11.
Sarstedt,
Stefan
Funktionale Programmierung relationaler Datenbanken
Diplomarbeit
Universität Ulm
März 1997
Funktionale Programmierung relationaler Datenbanken
Diplomarbeit
Universität Ulm
März 1997
10.
Knublauch,
Holger
Objektorientierte Software-Entwicklung am Beispiel des probabilistischen wissensbasierten Systems SPIRIT
Diplomarbeit
Universität Ulm
Januar 1997
Objektorientierte Software-Entwicklung am Beispiel des probabilistischen wissensbasierten Systems SPIRIT
Diplomarbeit
Universität Ulm
Januar 1997
1996
9.
Balser,
Michael
Wiederverwendung von Beweisen nach Modifikation
Diplomarbeit
Universität Ulm
Dezember 1996
Wiederverwendung von Beweisen nach Modifikation
Diplomarbeit
Universität Ulm
Dezember 1996
8.
Schwinn,
Thilo
Funktionale Implementierung grafischer Benutzeroberflächen
Diplomarbeit
Universität Ulm
April 1996
Funktionale Implementierung grafischer Benutzeroberflächen
Diplomarbeit
Universität Ulm
April 1996
1995
7.
Walter,
Joachim-Oliver
Entwicklung und Implementierung eines dreidimensionalen analytischen Modells zur Simulation eines Zerspanungsprozesses
Diplomarbeit
Universität Ulm
Oktober 1995
Entwicklung und Implementierung eines dreidimensionalen analytischen Modells zur Simulation eines Zerspanungsprozesses
Diplomarbeit
Universität Ulm
Oktober 1995
6.
Röscheisen,
Heinrich E.
Extraktion von Information aus algebraischen Typen auf der Basis statischer semantischer Analyse
Diplomarbeit
Universität Ulm
Oktober 1995
Extraktion von Information aus algebraischen Typen auf der Basis statischer semantischer Analyse
Diplomarbeit
Universität Ulm
Oktober 1995