Domain Specification Language (DSL) Vienna Development Method Programmentwicklung mit VDM

Vor- und Nachteile von VDM

Fangen wir mit den Vorteilen  an:

VDM hat auch einige Nachteile -- sie entstehen allerdings meist durch die Einbindung in C:

Domain Specification Language (DSL) Vienna Development Method Programmentwicklung mit VDM

VDM Class Library