Arbeitsgruppe Rechnergestützte Programmentwicklung

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)