Spezifikationstechniken Kurzbeschreibung

Spezifikationstechniken

- Kurzbeschreibung -

Ziel der Vorlesung ist es, Grundkenntnisse über die wichtigsten Methoden der formalen Spezifikation zu vermitteln.

Inhalte sind insbesondere:

Spezifikation abstrakter Datentypen: initiale und lose Spezifikation
Spezifikationssammlungen und -operationen
Verfeinerung, Erweiterung und abstrakte Implementierung
Konstruktive Spezifikationen
algebraische Spezifikation mit CASL
modellbasierte Spezifikation mit Z
temporale Spezifikation nebenläufiger Systeme