|
Author: John Fitzgerald and Peter Gorm Larsen
This example comes from the VDM-SL book by John Fitzgerald and Peter Gorm
Larsen. It is the running example through the chapter about logic.
Suppose we are asked to develop the software for a temperature
monitor for a reactor vessel in the plant. The monitor is connected to
a temperature sensor inside the vessel from which it receives a
reading(in degrees Celsius) every minute.
The monitor records the five most recent temperature readings in the
order in which they were received from the sensor.
Language Version: vdm10
Entry point : DEFAULT`OverLimit([4,2,8,555,123])
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤
|
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.
|
