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.
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。
This isn't a formal model (heh), it's simply my favorite analogy for software development.
这并不是一个非常正式的模型(呵呵)，我只是喜欢用它来代表软件开发。
During the initial development process a formal software methodology is the best choice to minimized the identified risks.
在初始开发过程中，采用正式软件方法是尽可能地减少已确定的风险的最好办法。
B-method is a software formal method, which supports the whole lifecycle of software development from formal 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.
软件开发的形式化与软件开发的自动化都被认为是克服软件危机、提高软件开发效率的有效方法之一。
应用推荐