ISO/IEC 13817-1:1996
Information technology - Programming languages, their environments and system software interfaces - Vienna development method - Specification language - Part 1: Base language

Standard No.

ISO/IEC 13817-1:1996

Release Date

1996

Published By

International Organization for Standardization (ISO)

Latest

ISO/IEC 13817-1:1996

Scope

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.

ISO/IEC 13817-1:1996 history

• 1996 ISO/IEC 13817-1:1996 Information technology - Programming languages, their environments and system software interfaces - Vienna development method - Specification language - Part 1: Base language