| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMSL/AlarmSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 892 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
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.12 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28