Author: Shin Sahara
This example contains a large collection of test classes that can be
used to test different aspects of VDM++. This makes use of the VDMUnit
test approach.
Language Version: classic
Entry point : new AllT().run()
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.16Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|