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.
Status: PublishedPublication date: 1996-12
Edition: 1Number of pages: 399
Technical Committee: ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces
Buy this standard
|std 1 208|
|std 2 208||Paper|