| 1. | This hinders reusing analysis patterns effectively
本文利用形式化方法raise对分析模式进行形式化。 |
| 2. | Logical calculus and formalized method
逻辑演算与形式化方法 |
| 3. | In this thesis , schematic summary about formal method is presented
在本文中，我们首先对形式化方法作了一个概要的介绍。 |
| 4. | Meanwhile , formal method ' s principle and major content were also dissertated
同时也阐述了形式化方法的原理及主要内容。 |
| 5. | In this paper , the software reuse and the formalization are viewed as the major research objects method
本文以软件复用和形式化方法为主要研究对象。 |
| 6. | In order to satisfy this requirement , formal method which is based on precise mathematical foundation must been used
为了它到这个目的，必须使用具有严格数学基础的形式化方法。 |
| 7. | Action refinement for real - time concurrent processes with urgent interactions is studied , where a partial - order setting , i . e . ,
对于复杂的并发系统的刻画和分析，形式化方法是一种常用和有效的方法。 |
| 8. | Formal development of correct and efficient algorithmic programs is at the heart of the research in the field of the formal method
有效解决“软件危机”的一种重要途径是使用形式化方法来开发软件产品。 |
| 9. | By so doing , scenario is adopted to capture user requirements in the early phase and documented with specification and description language ( sdl ) in the later phase
因此在需求建模初期采用场景概念来获取用户需求，在后期采用形式化方法加以描述。 |
| 10. | To realize the function of workflow management , the business process must be abstracted from the real world and described by a kind of formal method
摘要为了实现工作流管理功能，必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述。 |
