IEC - International Electrotechnical Commission - ISO/IEC 13817-1:1996
Information technology -- Programming languages, their environments and system software interfaces -- Vienna Development Method -- Specification Language -- Part 1: Base language
published
Buy Now
| Organization: | IEC - International Electrotechnical Commission |
| Publication Date: | 19 December 1996 |
| Status: | published |
| Page Count: | 399 |
| ICS Code (Languages used in information technology): | 35.060 |
abstract:
Specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static... View More
Document History
ISO/IEC 13817-1:1996
December 19, 1996
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...