ISO/IEC 13817-1: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 and the dynamic semantics, and conformity for specification and tools.

OEN:

IEC

Langue:

English

Code(s) de l'ICS:

35.060

Statut:

Publié

Date de Publication:

1996-12-18

Numéro Standard:

ISO/IEC 13817-1:1996