Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: README.txt Sprache: Text

Original von: VDM^©

Author: John Fitzgerald and Peter Gorm Larsen

This is the alarm example from the VDM++ book, John Fitzgerald, Peter
Gorm Larsen, Paul Mukherjee, Nico Plat and Marcel Verhoef. Validated
Designs for Object-oriented Systems, Springer, New York. 2005, ISBN
1-85233-881-4. 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-SL.

Language Version: vdm10
Entry point : new Test1().Run()

¤ Dauer der Verarbeitung: 0.16 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des 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.