维也纳方法简论

A Brief Discussion of the Vienna Development Method

摘要: 维也纳开发方法(VDM)就是在维也纳学派的标志语义、证明逻辑等理论研究基础上形成的切实可行的软件开发方法.本文从实际应用的角度讨论了VDM如何处理程序开发过程的形式化方面:怎样从系统的高度形式化的规范说明按步就班地开发出高级语言程序.同时还讨论了建立软件开发环境以实践VDM的方法.

Abstract: The Vienna Development Method is described, with emphasis on techniques for specifying programs and developing program from its specification. The method of building environment to practise VDM is discussed