EngLib USM > @i* Standard > British Standard >

BS ISO/IEC 13817-1:1996 - Information technology. Programming languages, their environments and system software interfaces. Vienna Development Method. Specification language - Base language

Description Printed version of this is available at library. To request, please e-mail to referencepk@usm.my and include a copy of this record in your e-mail. Abstract This part of ISO/IEC 13817 specifies the model based specification language VDM-SL (Vienna Development Method — Specification Language). It specifies: — two representations: the mathematical and interchange; — the syntax; — the static semantics; — the dynamic semantics; — conformity for specifications and tools. It does not specify: — the proof obligations; — the reification rules; — the size or complexity of a specification that will exceed the capacity of any specific data processing system or the capacity of a particular tool, nor the actions to be taken when the corresponding limits are exceeded; — the minimal requirements of a data processing system that is capable of supporting an implementation of a tool; — the method that tools use for reporting errors.

Contributor(s): NAAR - Data Entry Person Primary Item Type: British Standard Identifiers: ISBN 0580272826 ICS 35.060 Languages used in information technology ICS 35.200 Interface and interconnection equipment Language: English Subject Keywords: Programming languages; Computer software; Interfaces (data processing); Syntax; Conformity; Semantics; Data processing; Mathematical calculations First presented to the public: 1/18/2024 Original Publication Date: 4/15/1997 Previously Published By: British Standards Institution Place Of Publication: London, United Kingdom Citation: Extents: Number of Pages - 399 License Grantor / Date Granted:   / ( View License ) Date Deposited 2024-01-18 10:03:29.583 Submitter: Nurul Aini Abdul Rahman

All Versions

• Help | 
• About | 
• Privacy Policy