Spezifikationstechniken Vorlesung

Spezifikationstechniken

- Material zur Vorlesung -

Einführung: Folien
1. Grundlagen
1.1 Signaturen als Spezifikationsbestandteil: Folien
1.2 Formeln und Erzeugungsforderungen: Folien
2. Initiale Spezifikation abstrakter Datentypen:
Folien - 1 (PS) Folien - 2 (PS) (PDF)
3. Lose Spezifikation abstrakter Datentypen: Folien (PS) (PDF)
4. Spezifikationssammlungen und -operationen:
Folien - 1 (PS) (PDF) Folien - 2 (PS) (PDF)
5. Verfeinerung, Erweiterung und abstrakte Implementierung:
Folien - 1 (PS) (PDF) Folien - 2 (PS) (PDF)
6. Exkurs über partielle Funktionen, Fehlerwerte und Untersorten:
Folien (PS) (PDF)
7. Konstruktive Spezifikationen und Termersetzungssysteme:
Folien (PS) (PDF)
8. Zustandsorientierte Spezifikation:
Folien (PS) (PDF)
9. Algebraische Spezifikation mit CASL:
Folien (PS) (PDF)
10. Modellbasierte Spezifikation mit Z:
Folien (PS) (PDF)