Ausgewählte Abschlussarbeiten
Mallach, P.:
Erweiterung des KIEL-Systems
Juli 2006
[pdf] (1,3 MB)
Titze, S.:
Untersuchung zur Programmsteuerung durch Handgestenerkennung
Mai 2006
[pdf] (18,9 MB)
Kasper, C.:
Untersuchung von Algorithmen für transitive Reduktionen und minimale Äquivalenzgraphen
April 2001
[PostScript] (568 KB)
Ernst, H.:
Benutzergesteuerte Termersetzung - Erweiterung von KIEL um datatype-Deklarationen und die Deklaration von Rechenvorschriften mit Mustererkennung
März 2001
[PostScript] (567 KB)
Reuter, F.:
Untersuchungen zur formalen Spezifikation und Entwicklung von Approximationsalgorithmen im Zusicherungskalkül
Januar 2001
[PostScript] (142 KB)
Lehmann, W.:
Portierung von GUI-Toolkit-Applikationen am Beispiel von XView und GTK+
November 2000
[PostScript] (1.454 KB) [PDF] (830 KB)
Lorenz, O.:
Von der C-Applikation zum Applet am Beispiel von KIEL
April 2000
[PostScript] (313 KB)
Tiedt, M.:
Kiel Interactive Evaluation Laboratory: "Eine Arbeitsumgebung zur Visualisierung von Termersetzungssemantik"
Juli 1999
[PostScript] (1.414 KB)
Milanese, U.:
Algorithmen zum orthogonalen Zeichnen von Graphen und deren Integration in das RELVIEW-System
Juni 1999
[PostScript] (276 KB)
Ulbrand, S.:
Algorithmen zum Zeichnen planarer Graphen und deren Implementierung
Mai 1999
[PostScript] (464 KB)
Prien, U.:
Wiederverwendbare Algorithmenschemata in ML am Beispiel des Algebraischen Wegeproblems
November 1996
[PostScript] (289 KB)
Meier, S.:
Algorithmen zum schönen Zeichnen von Graphen und deren Integration in das RELVIEW-System
Februar 1996
[PostScript] (259 KB)
Magnussen, S.:
Programmentwicklung im Rahmen algebraischer Spezifikationen: Grundlagen, Fallstudien und Rechnerünterstützung
Februar 1996
[PostScript] (293 KB)
Ulke, C.:
Rechnergestützte Spezifikation und Entwicklung relationaler Algorithmen
Dezember 1995
[PostScript] (224 KB)