ISO/IEC 13817-1:1996
p
ISO/IEC 13817-1:1996
22988

Status : Published (Under review)

This standard was last reviewed and confirmed in 2008. Therefore this version remains current.
en
Format Language
std 1 216 PDF
std 2 216 Paper
  • CHF216
Convert Swiss francs (CHF) to your currency

Abstract

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.

Read sample 

Preview this standard in our Online Browsing Platform (OBP)

General information

  •  : Published
     : 1996-12
    : International Standard confirmed [90.93]
  •  : 1
     : 399
  • ISO/IEC JTC 1/SC 22
    35.060 
  • RSS updates

Got a question?

Check out our FAQs

Customer care
+41 22 749 08 88

Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)