摘要： VDM是一种系统地开发大型软件的方法,本文讨论这种方法的四要素:形式化的规范说明,基于变换的分阶段系统实现,正确性证明和抽象原理。

Abstract: VDM is meant to be a systematic approach to the development of large computer software system. This paper discusses its four key points, formal specification, staged implementation based on transformation, justification and abstraction prin-' ciples.