products/sources/formale Sprachen/VDM/VDMSL/dwarfSL/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Corec.thy   Sprache: Text

Untersuchung VDM©
Author: Peter Gorm Larsen



This is a VDM-SL Specification of the Dwarf Signal Controller. The VDM
model made in this document is inspired by the Dwarf Signal control
system described by Marcus Montigel, Alcatel Austria AG. The model is
not complete in the sense that it does only model the handing of error
situations for lamp L2. This have been presented at a FM Railway
workshop by Peter Gorm Larsen and it has in the past been connected to
a GUI using the VDMTools CORBA based API. Thus it is a fully
executable specification.



Language Version: vdm10
Entry point     : DEFAULT`SeqTest()

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.13Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤



Druckansicht
unsichere Verbindung
Druckansicht
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




Lebenszyklus

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig


Ziele

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff