排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
介绍了软件开发方法中的一种形式化分析方法:Vienna Development Method(VDM)。阐述了形式化分析方法的特点,具体说明了维也纳分析方法规格说明的两种规范:模块化说明与非模块化说明,及程序证明性依据:基于函数与操作的形式化规格说明。然后通过一个应用实例来说明如何利用VDM技术进行软件开发,及利用函数与操作的形式化规格说明来证明程序是正确的。 相似文献
1