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

NORMA vydána dne 19.12.1996

Anglicky -
Elektronické PDF (7238.20 CZK)

Anglicky -

CD-ROM (7278.10 CZK)

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
Kategorie: Technické normy 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.