products/sources/formale Sprachen/VDM/VDMPP/HomeautomationSeqPP/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: root.bib   Sprache: Text

Untersuchung VDM©
Author: Sune Wolff


This is a sequential VDM++ version of a home automation example constructed
by Sune Wolff. 

More information can be found in:
Peter Gorm Larsen, John Fitzgerald and Sune Wolff, Methods for the Development 
of Distributed Real-Time Embedded Systems Using VDM, International Journal of 
Software and Informatics, Vol 3., No 2-3, June/September 2009, pp. 305-341. 


Language Version: classic
Entry point     : new TestComplete().Execute()

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.15Angebot  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