Material zur Vorlesung

Spezifikationstechniken

- Material zur Vorlesung -

Einführung: Folien
Signaturen als Spezifikationsbestandteile: Folien
Formeln und Erzeugungsforderungen: Folien - vorab
Initiale Spezifikation abstrakter Datentypen: Folien Teil 1 - vorab
Folien Teil 2 - vorab
Lose Spezifikation abstrakter Datentypen: Folien Teil 1 - vorab
Folien Teil 2 - vorab
Spezifikationssammlungen und -operationen: Folien Teil 1 - vorab
Folien Teil 2 - vorab
Verfeinerung, Erweiterung und abstrakte Implementierung: Folien Teil 1 - vorab
Folien Teil 2 - vorab
Konstruktive Spezifikationen: Folien - vorab
Exkurs über partielle Funktionen, Fehlerwerte und Untersorten: Folien - vorab
Algebraische Spezifikation mit CASL: Folien - vorab
Modellbasierte Spezifikation mit Z: Folien - vorab