There has always been a need for a formal method to communicate this design, and a system to validate that communication.
但是通常情况下需要用一种正式的方式来传达这个设计，系统需要确认这个沟通。
If you design software for a large organization, there may be an established standard methodology practiced informally or as a mandatory formal method.
如果为大型组织设计软件，则可能会有确定的以经过实践的非正式方式或强制的正式方式采用的标准方法。
If the method sketch includes visual models, it may be a good idea in some circumstances to evolve these models into formal project artifacts (e.g., method architecture or method design).
如果方法草图包含可视的模型，那么在一些情况下，将这些模型演进为正式的项目工件(举例来说，方法架构或模型设计)可能是个好主意。
The traditional verification method can't eliminate all the design error. Therefore, many people tum to various formal verification methods to grantee the correctness of the design under any inputs.
传统的验证手段难以排除所有的设计错误，人们转而求助于各种形式验证方法来保证设计在各种可能输入组合下的正确性。
This paper presents a new method to design the disk CAM with concave follower, and find the relationship between the new kind of CAM and the formal ones.
本文找出了凹圆弧底直动从动件盘形凸轮与原有凸轮之间的区别与联系，并统一了原有凸轮的设计方法。
This paper presents a new method to design the disk CAM with concave follower, and finds the relationship between the new kind of CAM and the formal ones.
找出了凹圆弧底直动从动件盘形凸轮与原有凸轮之间的区别与联系，并统一了原有凸轮的设计方法。
Protocol engineering uses a formal method to describe all the activities during strict protocol design and maintenance.
协议工程用形式化的方法描述在协议严格的设计和维护中的各个活动。
Chapter 4 puts forward a formal method for assembly scheme design.
第四章提出了产品装配方案的形式化设计方法。
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.
研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。
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.
研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。
应用推荐