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 (7186.70 CZK)

Anglicky -

CD-ROM (7226.30 CZK)

Informace o normě:

Označení normy: ISO/IEC 13817-1-ed.1.0
Datum vydání normy: 19.12.1996
Počet stran: 399
Přibližná hmotnost: 1228 g (2.71 liber)
Země: Mezinárodní technická norma
Kategorie: Technické normy ISO

Anotace 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.