这篇文章仅仅是对RUP团队所追求的对方法开发过程形式化的一个初步尝试。
This article is only a first attempt to formalize the method development process that the RUP team follows.
您应该非常熟悉组织的企业体系结构原则和用于管理与执行开发项目的各种形式化的方法。
You should be intimately familiar with the enterprise architecture principles of the organization and with the various formal methodologies for managing and executing development projects.
针对虚拟企业提出了一种基于产品开发制造全过程分解和活动描述的形式化过程建模方法。
This paper presents a formal approach of product development and manufacturing process modeling based on process decomposition and activity description for a virtual enterprise.
目前软件开发中的形式化方法主要是形式化规范说明语言，有Z语言、VDM语言和RAISE语言等。
Nowadays, theformalized methods in software development mainly are formalized specification languages, such as Z language, VDM language and RAISE language, etc.
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。
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.
薛教授提出的PAR方法是一种简单实用的形式化算法设计、开发和证明的方法。
PAR Method is a formalization method of algorithm design, development and verification, and it is simple and useful.
安全模型是安全系统开发的基石，而形式化方法则为准确理解安全模型提供了高保障依据。
The security model is the cornerstone for developing the security operating system, while the formal method provides high level assurance for the understanding of the security model accurately.
对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
因此，从软件系统的形式模拟与验证到实际的开发应用，形式化方法都起着一个重要的桥梁作用。
Therefore, the formal method plays an important role as a bridge between the model simulation, verification of application systems.
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.
软件开发的形式化与软件开发的自动化都被认为是克服软件危机、提高软件开发效率的有效方法之一。
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 methods have become a kind of important methods to ensure the validity and consistence in the development of the software.
形式化方法已经成为保证软件开发过程正确性和一致性的一种重要方法。
Formal methods have become a kind of important methods to ensure the validity and consistence in the development of the software.
应用推荐