Internet Ressourcen
Vorlesungen zur Modellierung:
Andere Vorlesungen:
Beispiele für formale Spezifikationen:
-
In der
Fallstudie: Steam Boiler Control
werden Spezifikationen der gleichen Aufgabe in viele
verschiedenen Kalkülen gegenübergestellt.
Unter "Full text of further solutions" findet man
komplette Spezifikationen.
Hier findet man eine
anschauliche Darstellung der Aufgabe
Die Buchreferenz ist:
Jean-Raymond Abrial, Egon Börger, and Hans Langmaack:
Formal Methods for Industrial Applications:
Specifying and Programming the Steam Boiler Control.
LNCS 1165, Springer-Verlag, October 1996. (ISBN 3-540-61929-1)