三种形式化语言和方法

VDM --VDM是在1969年为开发PL/1语言时，由IBM公司维也纳实验室的研究小组提出的，VDM是一种功能 构造性规格说明技术，它经过一阶谓词逻辑和已创建的抽象数据类型来描述每一个运算或函数的功能，这 种方法在90年代初在欧美许多研究机构或大学获得了普遍的应用。 VDM技术的基本思想是运用抽象数据 类型、数学概念和符号来规定运算或函数的功能，并且这种规定的过程是结构化的，其目的是要在系统 实

>>阅读原文<<