ISO/IEC 13817-1:1996
Current
The latest, up-to-date edition.
Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language
Hardcopy , PDF
English
19-12-1996
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.
| Committee |
ISO/IEC JTC 1/SC 22
|
| DocumentType |
Standard
|
| Pages |
399
|
| PublisherName |
International Organization for Standardization
|
| Status |
Current
|
| Standards | Relationship |
| BS ISO/IEC 13817-1:1996 | Identical |
| NEN ISO/IEC 13817-1 : 1997 | Identical |
| INCITS/ISO/IEC 13817-1 : 1996 | Identical |
| INCITS/ISO/IEC 13817-1 : 1996 : R2007 | Identical |
| BS ISO/IEC TR 14369:1999 | Information technology. Programming languages, their environments and system software interfaces. Guidelines for the preparation of Language-Independent Service Specifications (LISS) |
| I.S. EN 61508-7:2010 | FUNCTIONAL SAFETY OF ELECTRICAL/ELECTRONIC/PROGRAMMABLE ELECTRONIC SAFETY-RELATED SYSTEMS - PART 7: OVERVIEW OF TECHNIQUES AND MEASURES |
| ISO/IEC 10514-1:1996 | Information technology — Programming languages — Part 1: Modula-2, Base Language |
| CEI EN 61508-7 : 2011 | FUNCTIONAL SAFETY OF ELECTRICAL/ELECTRONIC/PROGRAMMABLE ELECTRONIC SAFETYRELATED SYSTEMS - PART 7: OVERVIEW OF TECHNIQUES AND MEASURES |
| ISO/IEC 13719-1:1998 | Information technology — Portable Common Tool Environment (PCTE) — Part 1: Abstract specification |
| IEC 61508-7:2010 | Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 7: Overview of techniques and measures (see Functional Safety and IEC 61508) |
| ISO/IEC TR 14369:2018 | Information technology — Programming languages, their environments and system software interfaces — Guidelines for the preparation of language-independent service specifications (LISS) |
| 08/30193478 DC : DRAFT NOV 2008 | BS EN 61508-7 - FUNCTIONAL SAFETY OF ELECTRICAL/ELECTRONIC/PROGRAMMABLE ELECTRONIC SAFETY-RELATED SYSTEMS - PART 7: OVERVIEW OF TECHNIQUES AND MEASURES |
| BS EN 61508-7:2010 | Functional safety of electrical/electronic/ programmable electronic safety related systems Overview of techniques and measures |
| BS ISO/IEC 10514-1:1996 | Information technology. Programming languages Modula-2, base language |
| EN 61508-7:2010 | Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 7: Overview of techniques and measures |
| UNE-EN 61508-7:2011 | Functional safety of electrical/electronic/programmable electronic safety-related systems -- Part 7: Overview of techniques and measures |
| ISO/IEC 8859-1:1998 | Information technology — 8-bit single-byte coded graphic character sets — Part 1: Latin alphabet No. 1 |
| ISO/IEC 14977:1996 | Information technology — Syntactic metalanguage — Extended BNF |
Please Login or Create an Account so you can add users to your Multi user PDF Later.
Important note : All end users must be registered with an Account prior to user licenses being assigned.
Users cannot be edited or removed once added to your Multi user PDF.