ISO/IEC 13817-1:1996
Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language
OVERVIEW
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.
COMMENTS
-
PRODUCT DETAILS
| Status | Current |
|---|---|
| Edition | 1996 |
| No. of Pages | 399 |
| ICS Classification | 35.060 Languages used in information technology |
| Committee | ISO/IEC JTC 1/SC 22 |
| Available for Purchase | For sale in Singapore only |
| Adoption | ISO |