ISO/IEC JTC 1/SC 22
| Project No. | ISO/IEC 13817-1:1996 |
|---|---|
| Title | <p>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.</p> |
| Registration number (WIID) | 22988 |
| Scope | <p>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.</p> |
| Status | Standarts spēkā |
| ICS group | 35.060 |