Skip to content
Please enter a keyword to search

  • 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

    Available format(s):  Hardcopy, PDF, PDF 3 Users, PDF 5 Users, PDF 9 Users

    Language(s):  English

    Published date:  19-12-1996

    Publisher:  International Organization for Standardization

    Add To Cart

    Abstract - (Show below) - (Hide below)

    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.

    General Product Information - (Show below) - (Hide below)

    Document Type Standard
    Publisher International Organization for Standardization
    Status Current

    Standards Referenced By This Book - (Show below) - (Hide below)

    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

    Standards Referencing This Book - (Show below) - (Hide below)

    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

    • 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, flexibile and cost effective