形式化方法 meaning in English
formal methods
Examples
- In order to satisfy this requirement , formal method which is based on precise mathematical foundation must been used
为了它到这个目的，必须使用具有严格数学基础的形式化方法。 - Action refinement for real - time concurrent processes with urgent interactions is studied , where a partial - order setting , i . e . ,
对于复杂的并发系统的刻画和分析，形式化方法是一种常用和有效的方法。 - Formal development of correct and efficient algorithmic programs is at the heart of the research in the field of the formal method
有效解决“软件危机”的一种重要途径是使用形式化方法来开发软件产品。 - 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
因此在需求建模初期采用场景概念来获取用户需求，在后期采用形式化方法加以描述。 - 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
摘要为了实现工作流管理功能，必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述。