第四章提出了产品装配方案的形式化设计方法。
Chapter 4 puts forward a formal method for assembly scheme design.
阐述了产品方案形式化设计理论的主要思想和研究背景。
The background and contents of formal scheme design are also proposed particularly.
该方法用COOZ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。
We use COOZ to describe design specification of classes. Therefore, the formal requirement specification can transfer to formal design smoothly.
相反，形式化的类型可以保证多种交付品中重复使用设计。
By contrast, the formal types can ensure that the design can be repeated for many deliverables.
构建设计并对其进行测试，比为其行为构建形式化的证明要来得容易。
It's easier to build our designs and test them than to build formal proofs of how they will behave.
为了帮助IT组织评估过多的公开源码产品的成熟度，作者设计了一个形式化方法以及一个标准化的分析框架。
To help IT organizations evaluate the maturity of the plethora of available open source products, Golden proposes a formal methodology with a standardized analytical framework.
然后，您可以在形式化的分析、模拟和原型设计中使用这些模型，以研究预期的系统行为，并且可以在编写文档或总结时使用这些模型，以便就系统的性能和外观进行交流。
You can then use these models in formal analysis, simulation, and prototyping to explore predicted system behavior and in documentation or reviews to communicate the system's capabilities and feel.
用户接口设计人员和系统设计人员不使用同一的语言(uml)来将它们的系统形式化。
User interface designers and system designers do not use the same language (UML) to formalize their systems.
用户界面设计师与系统设计师没有使用同一种语言(uml)形式化的表示他们的系统s。
User Interface designers and system designers do not use the same language (UML) to formalize their systems.
形式化定义和描述了一种基于与或树的产品结构及其相关特性，基于该结构的BOM设计具有更好的产品配置柔性。
This paper formalizes a product structure with related characteristics based on AND/OR tree, and shows that the employment of this formalization can achieve a more flexible BOM design.
重点就知识层形式化业务规则的定义、资源和服务的引用以及规则引擎等给出了详细的设计和实现。
Detail work on the knowledge layer is explored, which includes the definition of formal business rule, reference to resources in a rule, as well as the design and implementation of the rule system.
采用形式化方法对社区卫生服务系统进行设计，能够得到一致的、精确的、简明的和无歧义的规格说明。
When designing with formal approach, the consistent, accurate, concise and unambiguous specification can be obtained for the community health service system.
因此，我们利用UML和形式化方法来设计面向方面程序，并建立相应的面向方面软件设计模型来设计实时系统。
So we express the AOP using UML and formal methods, and establish the Aspect-Oriented Software Design Model correspondingly to model real-time systems.
本文设计了BSK内核消息系统的构造方法，并形式化地构造了过滤规则和访问控制规则。
This thesis gives the design of BSK kernel message system, and construct filter rules and acess control rules formally.
薛教授提出的PAR方法是一种简单实用的形式化算法设计、开发和证明的方法。
PAR Method is a formalization method of algorithm design, development and verification, and it is simple and useful.
严格建模是嵌入式实时系统设计的核心技术，通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。
Rigorous Modeling is a core technology in embedded realtime system design and the combination of UML and formal methods would provide a better tool support to it.
信息处理系统的大规模化和复杂化，需要有效设计高可靠性系统的形式化的规格描述方法。
Information processing systems becoming large and complex, Formal description methods are needed for specification of systems and their efficient and reliable designs.
该文阐述了基于协作缓存的视频点播系统的拓扑结构，对静态调度和动态迁移进行了详细设计，并给出了相应的形式化表示。
The article expatiates the topological architecture of a VOD system based on cooperative cache, designs the static schedule and dynamic migration method in detail, and formalizes the design.
设计一个满足安全需求的协议非常困难，并且极易出错，因此利用形式化方法来检验安全协议引起了人们极大的关注。
Design of a protocol is a difficult and error-prone task, thus the use of formal methods that allow for the verification of such protocols has received increasing attention.
规约模式就是用某种形式化语言表示的设计模式。
Specification patterns are design patterns that are expressed in a formal specification language.
文章从模式定义、重用机制、可用工具、方法可用性等角度分析比较了几种主要的设计模式形式化方法。
This paper analyses and compares several main methods of formal specification for design patterns, from points of view of pattern definition, reuse mechanisms, available tools and usability.
研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。
Results show that the conceptual design model of mechanical product based on polychromatic sets can be described and reasoned with formal method, and programmed easily.
自动程序设计系统包括两种程序设计活动：形式化与实现。
An automatic programming system always includes two programming activities: formalization and implementation.
密码协议分析与设计的基础是对其进行形式化建模。
The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.
网络协议的形式化模型是协议分析和设计的核心技术之一。
The formal models of network protocols are one of the core technologies in the analysis and design of the protocols.
使用这些转换规则及形式化描述方法可以清晰地描述角色间的约束关系，有助于设计者实现角色的分配及组合。
It can well describe the role constraints using these transformation rules and formalization description methods, and helps to implement role assignment and composition.
2为大众服务的思想，设计的本质理念是服务，不需要追求过多形式化的东西，而是要强调服务的内涵。
2 for the public service idea, service is the essence of concept design, do not need to pursue too much formality, but to emphasize the service connotation.
类划分是一个更加形式化的设计测试用例的方法。
Equivalence partitioning is a much more formalized method of test case design.
类型系统是一种设计和研究程序设计语言的形式化方法和工具。
The type system is a formal method and tool for designing and studying programming languages.
协议工程用形式化的方法描述在协议严格的设计和维护中的各个活动。
Protocol engineering uses a formal method to describe all the activities during strict protocol design and maintenance.
应用推荐