A formal software development method of using data refinement with two times is introduced, which from data refinement to process refinement then to data refinement.
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。
B-method is a software formal method, which supports the whole lifecycle of software development from formal specification to code generation.
方法是一种软件形式化方法，支持从规格说明到代码生成的整个软件开发周期。
B method is one of the most popular formal methods at present, which supports the whole lifecycle of software development process, from specification to code generation.
B方法是目前国际上最受欢迎的软件形式化方法之一，它支持从规范说明到代码生成的整个软件开发周期。
This paper presents the steps of the formal derivation method of programs by the development of two problems.
以两个问题的程序开发为例说明了程序的形式推导方法的使用。
This paper presents the steps of the formal derivation method of programs by the development of two problems.
以两个问题的程序开发为例说明了程序的形式推导方法的使用。
应用推荐