ISO/IEC 13817-1:1996 信息技术 程序语言及其环境和系统软件界面 维也纳发展方法 规范化语言 第一部分：基本语言.

标准编号：ISO/IEC 13817-1:1996

中文名称：信息技术 程序语言及其环境和系统软件界面 维也纳发展方法 规范化语言 第一部分：基本语言.

英文名称：Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language

发布日期：1996-12

标准范围

指定基于模型的规范语言VDM-SL（维也纳开发方法-规范语言）。包含数学和交换表示，给出语法、静态和动态语义，以及规范和工具的一致性。

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.

标准预览图