提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。
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.
目前软件开发中的形式化方法主要是形式化规范说明语言，有Z语言、VDM语言和RAISE语言等。
Nowadays, theformalized methods in software development mainly are formalized specification languages, such as Z language, VDM language and RAISE language, etc.
方法是一种软件形式化方法，支持从规格说明到代码生成的整个软件开发周期。
B-method is a software formal method, which supports the whole lifecycle of software development from formal specification to code generation.
B方法是目前国际上最受欢迎的软件形式化方法之一，它支持从规范说明到代码生成的整个软件开发周期。
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方法支持从规格说明到代码生成的全部软件开发过程。
Bmethod is one of the formal methods, which supports the whole process of software development from the specification to code generation.
形式化方法已经成为保证软件开发过程正确性和一致性的一种重要方法。
Formal methods have become a kind of important methods to ensure the validity and consistence in the development of the software.
软件开发的形式化与软件开发的自动化都被认为是克服软件危机、提高软件开发效率的有效方法之一。
The formal software development and the automation software are supposed to be overcome the crisis of software, and is a efficient method to improve software developers.
软件开发的形式化与软件开发的自动化都被认为是克服软件危机、提高软件开发效率的有效方法之一。
The formal software development and the automation software are supposed to be overcome the crisis of software, and is a efficient method to improve software developers.
应用推荐