ISO/IEC 13817-1:1996
信息技术.程序设计语言及其环境和系统软件接口.Vienna(维也纳)开发方法.规范语言.第1部分:基本语言
Information technology - Programming languages, their environments and system software interfaces - Vienna development method - Specification language - Part 1: Base language
说明：
- 此图仅显示与当前标准最近的5级引用；
- 鼠标放置在图上可以看到标题编号；
- 此图可以通过鼠标滚轮放大或者缩小；
- 表示标准的节点，可以拖动；
- 绿色表示标准：ISO/IEC 13817-1:1996 ， 绿色、红色表示本平台存在此标准，您可以下载或者购买，灰色表示平台不存在此标准；
- 箭头终点方向的标准引用了起点方向的标准。
- 标准号
- ISO/IEC 13817-1:1996
- 发布
- 1996年
- 发布单位
- 国际标准化组织
- 当前最新
- ISO/IEC 13817-1:1996
- 指定基于模型的规范语言 VDM-SL（维也纳开发方法 - 规范语言）。 包含数学和交换表示，给出语法、静态和动态语义以及规范和工具的一致性。