ISO/IEC 13817-1:1996 Preview

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.


General information

  • Current status : Published
    Publication date : 1996-12
  • Edition : 1
    Number of pages : 399
  • :
    ISO/IEC JTC 1/SC 22
    Programming languages, their environments and system software interfaces
  • 35.060
    Languages used in information technology

Buy this standard

Format Language
PDF
Paper
  • CHF198

Got a question?

Check out our FAQs


Customer care
+41 22 749 08 88

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