products/Sources/formale Sprachen/VDM/VDMSL/barSL/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Extract.exe   Sprache: Text

Untersuchung VDM©
Author: Kevin Blackburn



This specification was produced during a VDM-SL course presented by Peter 
Gorm Larsen to ICL Enterprise Engineering in 1994. The modelling of bags 
was one of the exercises the attendees (including the author Kevin Blackburn) 
was confronted with during the course. This specification is mainly 
intended for the purpose of illustrating how bags can be used. This is
modelled using an executable subset and a collection of small tests are
included.


Language Version: classic
Entry point     : BAGTEST`TestBagAll()

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