| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMSL/simulatorSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 521 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
Author: V. S. Alagar \and D. Muthiayen
The simulator specified in VDM-SL in this example is the main component of an animation tool designed for use in the validation of complex real-time reactive systems described using TROM (Timed Reactive Object Model) formalism. We include two versions of the specifications; Section 2 contains the version in which implicit operations are used, and most of the operations are rewritten as explicit operations in the version contained in Section 3. Language Version: vdm10 ¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28