形式化方法 meaning in English
formal methods
Examples
- Finally , we adopt this method in the design of our query rewriting component of cbase . the test result shows that the performance of cbase has been dramatically improved
最后本文将这种形式化方法应用在cbase系统的查询重写器的设计中，测试结果表明：应用查询重写器后的系统效率有了显著提高。 - Furthermore , an overview about real - time systems which is different from generic reactive systems is given . we review real time extension of formal method oriented real time system
但是因为它又有别于一般的反应型系统，所以我们接着介绍了实时系统的特殊性，并且介绍了形式化方法面向实时系统的扩展。 - Researched the main factor of blocking the development of software products . analysised several typical formal develop methods and choosed the par method as this project ' s theory basis
研究阻碍当前软件发展的主要因素，对现有的形式化方法及其配套工具进行了分析比较，并以par方法作为本文研究的理论基础。 - This study , meaningful to improve the successful rate of enterprise reorganization , will provide applicable formalized methods to solve the resources contradictory problems in enterprise reorganization
这一研究，将为解决企业重组中的资源矛盾问题提供可操作的形式化方法，对提高企业重组的成功率具有现实意义。 - By analyzing the current methods of programming , including formal methods and informal methods , we found a suitable approach which can help us to realize abstract data in apla correctly . 2
对目前的程序设计方法(包括形式化方法和非形式化方法)进行分析研究，寻找一种合适的方法帮助我们正确地实现apla语言中的抽象数据类型； 2