ANSI - INCITS/ISO/IEC 13817-1
Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language
active, Most Current
Buy Now
| Organization: | ANSI |
| Publication Date: | 15 December 1996 |
| Status: | active |
| Page Count: | 414 |
Document History
INCITS/ISO/IEC 13817-1
December 15, 1996
Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language
A description is not available for this item.
December 15, 1996
Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language
This part of ISO/IEC 13817 specifies the model based specification language VDM-SL (Vienna Development Method — Specification Language). It specifies:
- two representations: the mathematical and...