ISO/IEC 13817-1:1996
Current
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
Available format(s)
Hardcopy , PDF , PDF 3 Users , PDF 5 Users , PDF 9 Users
Language(s)
English
Published date
12-19-1996
Important note : All end users must be registered with an Account prior to user licenses being assigned.
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) |
| UNE-EN 61508-7:2011 | Functional safety of electrical/electronic/programmable electronic safety-related systems -- Part 7: Overview of techniques and measures |
| 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 |
| CSA ISO/IEC 10514-1 : 2000 | INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - PART 1: MODULA-2, BASE LANGUAGE |
| 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 |
| CAN/CSA-ISO/IEC 13719-1-00 (R2018) | Information Technology - Portable Common Tool Environment (PCTE) - Part 1: Abstract Specification (Adopted ISO/IEC 13719-1:1998, second edition, 1998-10-01) |
| 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 |
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.