This standard was last reviewed and confirmed in 2008.
Therefore this version remains current.
Abstract
PreviewSpecifies 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.
-
Status: PublishedPublication date: 1996-12
-
Edition: 1Number of pages: 399
-
Technical Committee: ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces
-
- ICS :
- 35.060 Languages used in information technology
Buy this standard
en
| Format | Language | |
|---|---|---|
| std 1 208 | ||
| std 2 208 | Paper |
- CHF208
Life cycle
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)
Keep up to date with ISO
Sign up to our newsletter for the latest news, views and product information.