ANSI/INCITS/ISO/IEC 13817-1-1996 信息技术.编程设计语言及其环境和系统软件接口.（维也纳）开发方法.规范语言.第1部分:基本语言

标准号：ANSI/INCITS/ISO/IEC 13817-1-1996
中文标准名称：信息技术.编程设计语言及其环境和系统软件接口.（维也纳）开发方法.规范语言.第1部分:基本语言
英文标准名称：Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language
标准类型：L77
发布日期：1999/12/31 12:00:00
实施日期：1999/12/31 12:00:00
中国标准分类号：L77
国际标准分类号：35.060
适用范围：This International Standard specifies specification language the Vienna Development Method Specification Language. Specifies: two representations: the mathematical and interchange; the syntax; the static semantics; the dynamic semantics; conformity for specifications and tools. Does't 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.