Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: ZCoeff.v Sprache: Text

Original von: VDM^©

Author: John Fitzgerald and Peter Gorm Larsen

This is the alarm example from the VDM-SL book, John Fitzgerald and
Peter Gorm Larsen, Modelling Systems -- Practical Tools and Techniques
in Software Development}, Cambridge University Press, 2nd edition
2009. The example is inspired by a subcomponent of a large alarm
system developed by IFAD A/S. It is modelling the management of alarms
for an industrial plant. The purpose of the model is to clarify the
rules governing the duty roster and calling out of experts to deal
with alarms. A comparable model of this example also exists in VDM++.

Language Version: vdm10
Entry point     : DEFAULT`Run(e1)
Entry point     : DEFAULT`Run(e2)
Entry point     : DEFAULT`Run(e3)
Entry point     : DEFAULT`Run(e4)
Entry point     : DEFAULT`Run(e5)
Entry point     : DEFAULT`Run(e6)
Entry point     : DEFAULT`Run(e7)
Entry point     : DEFAULT`Run(e8)

¤ Dauer der Verarbeitung: 0.2 Sekunden (vorverarbeitet) ¤

Druckansicht unsichere Verbindung
Druckansicht sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.