ISO/IEC 13817-1-ed.1.0

Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language

STANDARD published on 19.12.1996

English -
electronic design (pdf) (354.90 USD)

English -

CD-ROM (356.90 USD)

The information about the standard:

Designation standards: ISO/IEC 13817-1-ed.1.0
Publication date standards: 19.12.1996
The number of pages: 399
Approximate weight : 1228 g (2.71 lbs)
Country: International technical standard
Category: Technical standards ISO

Annotation of standard text ISO/IEC 13817-1-ed.1.0 :

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.