- Allgemein:
- 89-6201
- 4 Std. Vorlesung
Di. 8.15 - 9.45 Uhr, 13-222
Fr. 8.15 - 9.45 Uhr, 42-110
2 Std. Übung siehe unten
- A) Die mathematisch exakte Spezifikation und Verifikation von
Algorithmen wird durch das an Komplexität stetig zunehmende Gebiet
der Programmentwicklung ein immer bedeutender Bereich der
theoretischen Informatik. Unterschiedliche mathematische
Modellierungen des Begriffs Algorithmus führen dabei zu
unterschiedlichen Spezifikations- und Verifikationstechniken. In
dieser Vorlesung werden wichtige mathematische Modelle des Begriffs
Algorithmus vorgestellt und die jeweils darauf aufbauenden
Möglichkeiten zur Spezifikation und Verifikation aufgezeigt. Es wird
etwa Graphersetzung als Berechnungsmodell eingeführt und Einblicke
in den Bereich der algebraischen Spezifikation und Verifikation
gewährt.
- B)
Dörr, Heiko: Efficient graph rewriting and its implementation, Springer, 1995. INF 355/021.
Ehrig, Hartmut, Mahr, Bernd: Fundamentals of algebraic specification, Springer., 1985, INF 510/038.
Baader, Nipkow: Term Rewriting and All That, Cambridge UP, 1998
Börger, Stärk : Abstract State Machines Springer
Nissanke: Formal Specification Techniques and Applications Springer 99
Astesiano, Kreowski, Krieg-Brückner: Algebraic Foundations of System Specifications (IFIP)
- C) Software-Entwicklung 1, 2, Mathematik, Formale Grundlagen der Programmierung, Logik, Entwurf und Analyse von Algorithmen.
- E) Kernveranstaltung des Lehrgebietes.
- Beginn: Di., 24.10., 08:15 Uhr, 13-222
- Weitere Informationen: KIS
- Folien/Vorbereitung:
Folien zum Lesen am Rechner: Folien 1-385 , ...
Folien zum Drucken (4 pro Seite): Folien 1-385 , ...
Zusatzmaterial: ASM-Beispiele ,
Verfeinerungsmethoden ,
Shortest Paths
.
Wenn andere Arrangements gewünscht werden, könnte folgende TeX-Datei als Ausgangspunkt
hilfreich sein, mit der auch die druckbare Version mit 4 pro Seite erzeugt wird:
printable.tex
