形式化技术相关论文
本论文结合一个PDA项目的开发，设计和实现了利用固定电话网进行信息传输的一套通信协议。 基于通信协议开发的一般过程——协议......
该论文所完成的工作有:(1)对主流的形式化技术(Estelle、LOTOS、EFSM、Petri Net、UML)的要素和特征进行了分析、对比;分析了这些......
随着人们对软件系统的要求不断地提高，形式化技术得到了充分的发展。过去人们依赖于优秀的软件工程师来对软件系统可靠性和安全性提......
模型检测作为一种自动验证有限状态系统是否满足规范的形式化技术，在规划和多智能体系统等人工智能领域得到了越来越多的应用。现在......
近年来，随着互联网的普及与电子商务技术的发展，面向服务的计算(SOC)和面向服务的体系结构(SOA)正逐步变为未来软件发展的一种趋势，也......
