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

非常抱歉，我们暂时无法提供预览，您可以试试： 免费下载 ANSI/INCITS/ISO/IEC 13817-1:1996 前三页，或者稍后再访问。

您也可以尝试购买此标准，
点击右侧 “购买” 按钮开始采购（由第三方提供）。

注意： 点击下载后，生成下载文件时间比较长，请耐心等待......

标准号

ANSI/INCITS/ISO/IEC 13817-1:1996

发布

1996年

发布单位

美国国家标准学会

当前最新

ANSI/INCITS/ISO/IEC 13817-1:1996

 

 

适用范围

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.

ANSI/INCITS/ISO/IEC 13817-1:1996相似标准

推荐