ISO/IEC 13817-1:1996 Preview
Information technology -- Programming languages, their environments and system software interfaces -- Vienna Development Method -- Specification Language -- Part 1: Base language
This standard was last reviewed and confirmed in 2008. Therefore this version remains current.
Specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static and the dynamic semantics, and conformity for specification and tools.
Buy this standard
A standard is reviewed every 5 years
Revisions / Corrigenda