摘要
VDM是一种系统地开发大型软件的方法,本文讨论这种方法的四要素:形式化的规范说明,基于变换的分阶段系统实现,正确性证明和抽象原理。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
1989年第1期59-67,72,共10页
Computer Engineering
