{title}Vorlesung über algebraische Spezifikation{/title} {author}roba{/author} {text}

Algebraische Spezifikation

eine Vorlesung von Till Mossakowski und Markus Roggenbach and der Universität Bremen , 1999, VAK 3-631.

Einführung:

Die Vorlesung gibt eine grundlegende Einführung in Theorie und Praxis der algebraischen Spezifikation.

Das Ziel algebraischer Spezifikation ist die Entwicklung verlässlicher Software. Beginnend mit einer abstrakten Spezifikation, die eng an den informalen Anforderungen orientiert ist, kann Korrekheit durch schrittweise Verfeinerung erreicht werden, die schließlich zu einer ausführbaren Spezifikation führt, die implementiertem Code nahe kommt. Algebraische Spezifikation kann als formale Methode zur Softwareentwicklung aufgefasst werden und gehört daher zum Bereich des Software-Engeneering. Allerdings wird algebraische Spezifikationüblicherweise als Teilgebiet der theoretischen Informatik betrachtet, da die Grundlagen aus der Logik stammen.

Die Vorlesung beginnt mit einer kurzen Einführung in Sigma-Algebren, gibt einen Überblicküber verschiedene Logiken (Gleichungslogik, bedingte Gleichungslogik, Prädikatenlogik erster Stufe) und behandelt ausgewählte Gebiete des Spezifizierens Im-Kleinen wie Im-Großen. Die eingeführten Konzepte werden durch praktische Beispiele motiviert. Einfache Übungen zum ``learning by doing'' ermöglichen ein tieferes Verständnis des Stoffs.

Für die Beispiele und kleine Fallstudien benutzen wir die Spezifikationssprache CASL (Common Algebraic Specification Language). Der Entwurf dieser Sprache wurde kürzlich abgeschlossen, aktuelle Informationen gibt es auf der Homepage von "The Common Framework Initiative (CoFI)" und auf unserer lokalen CoFI Bremen homepage). CASL enthält alle in der Vorlesung behandelten Konzepte. Die Wahl von CASL als Sprache verbindet die Vorlesung mit der aktuellen Forschung und gibt insbesondere die Möglichkeit, verschiedene CASL-Werkzeuge auszuprobieren.

Überblick:

Zeiten:

Beginn: Dienstag, 26. Oktober 1999.

Scheine:

Um einen Schein zu bekommen, muss mensch

Literatur:

Es gibt viele Bücher über algebraische Spezifikation. Wir benutzen u.a.: Allgemeine Informationen über die Sprache CASL (Common Algebraic Specification Language), gibt es auf der Homepage von "The Common Framework Initiative (CoFI)". Für die Vorlesung interessante Dokumente sind

CASL-Werkzeuge:

 {/text}