Abgeschlossene Bachelorarbeiten, Masterarbeiten und Diplomarbeiten


1998

22.
default
Quell, Thorsten
Typisierung und Programmtransformation
Diplomarbeit
Universität Ulm,
Juli 1998
21.
default
Thums, Andreas
Fehlersuche in formalen Spezifikationen
Diplomarbeit
Universität Ulm,
Juni 1998
20.
default
Schmid, Joachim
Nichtdeterminismus und Programmtransformation
Diplomarbeit
Universität Ulm,
Juni 1998
19.
default
Schirmer, Gabriele
Objektorientierte Entwicklung eines generischen Grapheditors
Diplomarbeit
Universität Ulm,
April 1998
18.
default
Ehm, Thorsten
Interaktive Spezifikation und Konstruktion graphischer Schnittstellen
Diplomarbeit
Universität Ulm,
Januar 1998

1997

17.
default
Wieser, Eva
Kontinuierliche Erfahrungsbeschreibung bei Prozeßverbesserung: Ein Objektmodell
Diplomarbeit
Universität Ulm,
Dezember 1997
16.
default
Prager, Marc
Algorithmenschemata für funktionale Programmierung
Diplomarbeit
Universität Ulm,
August 1997
15.
default
Dettinger, Mark
ULTRA: Ein interaktives Transformationssystem für funktionale Programme
Diplomarbeit
Universität Ulm,
August 1997
14.
default
Krusemark, Michael
Implementierung einer interaktiven Entwicklungsumgebung für Gofer
Diplomarbeit
Universität Ulm,
April 1997
13.
default
Vogt, Harald
Verifikation reaktiver Software-Komponenten
Diplomarbeit
Universität Ulm,
April 1997
12.
default
Sarstedt, Stefan
Funktionale Programmierung relationaler Datenbanken
Diplomarbeit
Universität Ulm,
März 1997
11.
default
Duckeck, Mathias J.
Erweiterte Supercompilation
Diplomarbeit
Universität Ulm,
März 1997
10.
default
Knublauch, Holger
Objektorientierte Software-Entwicklung am Beispiel des probabilistischen wissensbasierten Systems SPIRIT
Diplomarbeit
Universität Ulm,
Januar 1997

1996

9.
default
Balser, Michael
Wiederverwendung von Beweisen nach Modifikation
Diplomarbeit
Universität Ulm,
Dezember 1996
8.
default
Schwinn, Thilo
Funktionale Implementierung grafischer Benutzeroberflächen
Diplomarbeit
Universität Ulm,
April 1996

1995

7.
default
Walter, Joachim-Oliver
Entwicklung und Implementierung eines dreidimensionalen analytischen Modells zur Simulation eines Zerspanungsprozesses
Diplomarbeit
Universität Ulm,
Oktober 1995
6.
default
Röscheisen, Heinrich E.
Extraktion von Information aus algebraischen Typen auf der Basis statischer semantischer Analyse
Diplomarbeit
Universität Ulm,
Oktober 1995
5.
default
Ernst, Dietmar
Implementierung eines syntaxgesteuerten Editors für die Sprache NoName
Diplomarbeit
Universität Ulm,
Oktober 1995
4.
default
Houdek, Frank
Implementierung von first-level NoName auf einer Runtime-Stack Maschine
Diplomarbeit
Universität Ulm,
September 1995
3.
default
Müller, Erich
Entwicklung eines Modul-Informationssystems für den NoName-Editor
Diplomarbeit
Universität Ulm,
August 1995
2.
default
Gut, Birgit
Übersetzung funktionaler Spezifikationen in massiv-parallele Programme
Diplomarbeit
Universität Ulm,
Juli 1995
1.
default
Abdul, Michael
Analyse der Rekursionsstruktur in funktionalen Programmen
Diplomarbeit
Universität Ulm,
März 1995
Export als: BibTeX, XML