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 vydaná dňa 19.12.1996

Anglicky -
Elektronické PDF (289.70 EUR)

Anglicky -

CD-ROM (291.30 EUR)

Informácie o norme:

Označenie normy: ISO/IEC 13817-1-ed.1.0
Dátum vydania normy: 19.12.1996
Počet strán: 399
Približná hmotnosť: 1228 g (2.71 libier)
Krajina: Medzinárodná technická norma
Kategória: Technické normy ISO

Anotácia textu normy 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.