ISO 13817:1996
ISO 13817:1996 Information technology – Programming languages, their environments and system software interfaces – Vienna Development Method – Specification Language – Part 1: Base language
CDN $442.00
Description
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.
Edition
1
Published Date
1996-12-19
Status
PUBLISHED
Pages
399
Language
English
Format
Secure PDF
Secure – PDF details
- Save your file locally or view it via a web viewer
- Viewing permissions are restricted exclusively to the purchaser
- Device limits - 3
- Printing – Enabled only to print (1) copy
See more about our Environmental Commitment
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.
Previous Editions
Can’t find what you are looking for?
Please contact us at:
Related Documents
-
ISO 19507:2012 Information technology – Object Management Group Object Constraint Language (OCL)
CDN $0.00 Add to cart -
ISO 18661:2025 Programming languages, their environments, and system software interfaces – Floating-point extensions for C – Part 4: Supplementary functions
CDN $195.00 Add to cart -
ISO 24718:2025 Information technology – Programming languages – Guidance for the use of the Ada Ravenscar Profile in high integrity systems
CDN $0.00 Add to cart -
ISO 24772:2024 Programming languages – Avoiding vulnerabilities in programming languages – Part 1: Language-independent catalogue of vulnerabilities
CDN $0.00 Add to cart
