ISO/IEC 13817-1:1996
Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language
Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language
Referenced standards
Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language
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.
| Edition | 1996 |
|---|---|
| Standard Part No | 1 |
| Published Date | 1996 |
| Published By | International Standardization Organisation /International Electrotechnical Commission |
| Page Count | 399 |