Supervised Bachelor Theses, Master Theses and Diploma Theses
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
5.
Ernst,
Dietmar
Implementierung eines syntaxgesteuerten Editors für die Sprache NoName
Diplomarbeit
Universität Ulm
Oktober 1995
Implementierung eines syntaxgesteuerten Editors für die Sprache NoName
Diplomarbeit
Universität Ulm
Oktober 1995
4.
Houdek,
Frank
Implementierung von first-level NoName auf einer Runtime-Stack Maschine
Diplomarbeit
Universität Ulm
September 1995
Implementierung von first-level NoName auf einer Runtime-Stack Maschine
Diplomarbeit
Universität Ulm
September 1995
3.
Müller,
Erich
Entwicklung eines Modul-Informationssystems für den NoName-Editor
Diplomarbeit
Universität Ulm
August 1995
Entwicklung eines Modul-Informationssystems für den NoName-Editor
Diplomarbeit
Universität Ulm
August 1995
2.
Gut,
Birgit
Übersetzung funktionaler Spezifikationen in massiv-parallele Programme
Diplomarbeit
Universität Ulm
Juli 1995
Übersetzung funktionaler Spezifikationen in massiv-parallele Programme
Diplomarbeit
Universität Ulm
Juli 1995
1.
Abdul,
Michael
Analyse der Rekursionsstruktur in funktionalen Programmen
Diplomarbeit
Universität Ulm
März 1995
Analyse der Rekursionsstruktur in funktionalen Programmen
Diplomarbeit
Universität Ulm
März 1995