Phone: (011) 7541-421, 3409-301, 3409-335, 6547-293, 3409-310
E-mail: Standards sales: prodaja@iss.rs Education: iss-edukacija@iss.rs Information about standards: infocentar@iss.rs
Stevana Brakusa 2, 11030 Beograd
Main menu

ISO/IEC 13817-1:1996

Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language

Dec 19, 1996

General information

90.93     Sep 24, 2024

ISO/IEC

ISO/IEC JTC 1/SC 22

International Standard

35.060  

English  

Buying

Published

Language in which you want to receive the document.

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.

Life cycle

NOW

PUBLISHED
ISO/IEC 13817-1:1996
90.93 Standard confirmed
Sep 24, 2024