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.
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。
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.
软件开发的形式化与软件开发的自动化都被认为是克服软件危机、提高软件开发效率的有效方法之一。
Formal procedures for governance and management enable an enterprise of any size to perform reliable and efficient parallel development on software models.
规范的管理操作，使任意规模的企业都能够对软件模型执行可靠且有效的并行开发。
This isn't a formal model (heh), it's simply my favorite analogy for software development.
这并不是一个非常正式的模型(呵呵)，我只是喜欢用它来代表软件开发。
Creates unambiguous documentation and communication among the various teams participating in the software development cycle via the formal, UML-based modeling of users and of user interfaces.
通过正式的、基于UML的用户和用户接口建模，在参与软件开发生命周期的不同团队之间创建明确的文档及通信。
Typical software development projects I've been part of specified requirements in rather formal documents that everyone referred to as "the requirements doc."
我曾经参与的典型的软件项目开发都在大家称之为“需求文档”的相当正式的文档中指定需求。
During the initial development process a formal software methodology is the best choice to minimized the identified risks.
在初始开发过程中，采用正式软件方法是尽可能地减少已确定的风险的最好办法。
Requirements Engineering is the initial stage in the software development life cycle, whose final product is the precise, complete, formal document about the users 'needs.
需求工程是软件系统开发生命周期的初始阶段，其最终结果是得到关于用户需求的准确、全面、形式化的需求描述。
B-method is a software formal method, which supports the whole lifecycle of software development from formal specification to code generation.
方法是一种软件形式化方法，支持从规格说明到代码生成的整个软件开发周期。
Structured methodology, object oriented methodology and formal methods are different software development methods.
结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。
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.
形式化b方法支持从规格说明到代码生成的全部软件开发过程。
Formal methods have become a kind of important methods to ensure the validity and consistence in the development of the software.
形式化方法已经成为保证软件开发过程正确性和一致性的一种重要方法。
Technology of Software Development Based on Formal Methods;
形式化方法是现代逻辑最重要的方法。
Technology of Software Development Based on Formal Methods;
形式化方法是现代逻辑最重要的方法。
应用推荐