形式化技术相关论文
本论文结合一个PDA项目的开发，设计和实现了利用固定电话网进行信息传输的一套通信协议。 基于通信协议开发的一般过程——协议......
该论文所完成的工作有:(1)对主流的形式化技术(Estelle、LOTOS、EFSM、Petri Net、UML)的要素和特征进行了分析、对比;分析了这些......
随着人们对软件系统的要求不断地提高，形式化技术得到了充分的发展。过去人们依赖于优秀的软件工程师来对软件系统可靠性和安全性提......
模型检测作为一种自动验证有限状态系统是否满足规范的形式化技术，在规划和多智能体系统等人工智能领域得到了越来越多的应用。现在......
近年来，随着互联网的普及与电子商务技术的发展，面向服务的计算(SOC)和面向服务的体系结构(SOA)正逐步变为未来软件发展的一种趋势，也......
随着计算机技术在尖端领域的应用,为了提高系统的安全性与可靠性,形式化方法得到长足的发展,也出现了许多优秀的形式化工具,例如,B......
CCNeter是实现扩展的Petri网——CNet自动可视化建模的工具,对程序语句从数据、操作和控制3个方面进行描述,刻画了程序代码中数据......
为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对......
通信软件工程包括系统建模和设计实现两大阶段,分别采用非形式化技术与形式化技术.定义了从非形式化的面向对象的图形语言UML,到形......
应用形式化分析技术对电子商务系统模拟与验证,可以查找系统设计中的错误和不足,确保系统的正确性和健壮性.本文将目前用于电子商......
文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍,分析了它们的原理和优缺点,并对该技术的......
在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上，简述SuperState工具中主要部分的实现思想，即采用静态分析和动......
探讨了无线安全协议设计的一般步骤,包括应用环境抽象、特定应用网络弱点分析、待设计安全协议要达到的目标、现有相近协议优缺点......
帧中继作为重要的广域网协议得到了日益广泛的应用,但是相关的测试活动却非常有限.本文在深入分析了帧中继信令协议的基础上对其进......
提出了一种基于形式化技术的功能验证方法,对可编程逻辑模块级/子系统级进行功能验证.通过实例逻辑验证表明,依据功能验证平台,按......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
形式化技术为软件逆工程提供严格和完备的理论基础,但应用于实践的非常少.介绍了一种将形式化方法应用于逆工程的具体实现方法,应......
讨论了程序功能规约变换和算法程序的形式化技术.通过功能规约变换,可以较自然地获得问题求解的递推关系,对荷兰国旗问题的求解过......
