| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMSL/telephoneSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 673 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
Author: Bernhard Aichernig
This example due to Abrial has been translated from the B-notation into VDM-SL. It demonstrates how an event-based system may be modeled using the specification language of the Vienna Development Method. In the following, operations specify the events which can be initiated either by the system or by a subscriber (user). An implicit style using pre- and post-conditions has been chosen, in order to model the system's state transitions. The model of the telephone exchange is centred around a set of subscribers who may be engaged in telephone conversations through a network controlled by an exchange. Language Version: classic ¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28