标准摘要
[中文适用范围]： 指定基于模型的规范语言 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.
英文名称Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language