• There are no items in your cart

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

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.

DocumentType
Standard
Pages
399
PublisherName
International Organization for Standardization
Status
Current

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
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)
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

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(R2018) INFORMATION TECHNOLOGY - SYNTACTIC METALANGUAGE - EXTENDED BNF
ISO/IEC 14977:1996 Information technology — Syntactic metalanguage — Extended BNF

View more information
US$251.00
Excluding Tax where applicable

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.