Internet Ressourcen

Vorlesungen zur Modellierung:

• Vorlesung Modellierung WS 1999/2000 an der Uni Paderborn
• Vorlesung Modellierung an der Uni Zürich

Andere Vorlesungen:

• Einführung in Graphen und Algorithmen an der HU Berlin

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)