Spezifikationstechniken Vorlesung

Spezifikationstechniken

- Material zur Vorlesung -

1. Einführung: Folien
2. Initiale Spezifikation abstrakter Datentypen:
Folien - 1 Folien - 2 Ergänzungsfolien
3. Lose Spezifikation abstrakter Datentypen:
Folien - 1 Folien - 2 Ergänzungsfolien
4. Spezifikationssammlungen und -operationen:
Folien - 1 Folien - 2
5. Verfeinerung, Erweiterung und abstrakte Implementierung:
Folien - 1 Folien - 2
6. Partielle Funktionen, Fehlerwerte und Untersorten:
Folien
7. Konstruktive Spezifikationen und Termersetzungssysteme:
Folien
8. Zustandsorientierte Spezifikation:
Folien - 1
9. Algebraische Spezifikation mit CASL:
Folien Folien-zu-WHILE
10. Modellbasierte Spezifikation mit Z:
Folien - 1 Folien - 2
11. Temporale Spezifikation reaktiver und nebenläufiger Systeme:
Folien - 1 Folien - 2