形式化方法

• Strand space , brought forward by fabrega , herzog and guttman , is a applied , intuitionistic and strict formal method for security protocols analysis
  串空间( strandspace )模型由fabrega , herzog和guttman三人提出,是分析安全协议的一种实用、直观和严格的形式化方法。
• These methods begin with the formal design specifications given by the designer and then derive the top design codes by using refinement calculus laws
  所谓形式化方法，就是利用严格的数学方法，从给出系统设计的规范( specifications )开始并逐步地推导或者验证系统的方法。
• They intended to use logic ofknowledge to formalize the knowledge properties of agents , and then verifyknowledge specifications of multi - agent systems with formal methods
  研究者们使用知识逻辑来描述智能体的知识特性,并且希望借助形式化方法来验证多智能系统中的知识逻辑规范。
• When large system is under consideration , the proof process using the - calculus will be long and error - prone . therefore , some kind of mechanical support is necessary
  作为一种形式化方法，使用-演算对大型系统的证明过程往往很长并且容易出现错误，所以，机器的支持与协助就相当必要。
• It is a hard problem to analyze cryptographic protocol in the area of computer network security . using formal methods to analyze cryptographic protocol remains the key issue in this field
  密码协议安全性分析是网络安全的一个难题，运用形式化方法对密码协议进行分析一直是该领域的研究热点。
• 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