形式化规范相关论文
该文针对离散事件系统的状态复杂性和同步并发等动态特性,从软件设计和规范证明的角度,提出一种基于代数规范的形式逻辑和面向对象......
该文提出了运用基于约束类型的LOTOS（LanguageOfTemporalOrderingSpecifications）形式化规范描述方法,来产生简单、抽象、结构良好的......
形式化方法借助数学方法为系统的说明、开发和验证提供了一个框架，有利于发现目标软件系统需求中的不一致性、不完整性等问题。 ......
通信协议形式化是提高其可靠性和正确性的重要手段。会话初始协议SIP是软交换的一个主要协议，应用形式化方法研究了SIP协议的结构及......
分布式制造调度控制体系结构的良好形式化设计是确保后续开发系统一致性和高效性的基础。以Agen（tHolon）的制造调度控制体系结构模型......
用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括：A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通......
事件驱动具有异步多点通信的优点，引起了广泛的研究兴趣。提出了一个由基层和元层两层结构组成的自适应中间件框架，元层主要由接口元......
形式化方法主要应用于安全性第一的系统的规范与形式验证.原型证明系统PVS为开发和分析形式化规范和验证提供了一个集成化环境.本......
给出用PVS对密码协议进行形式化规范的一种方法.该方法以高阶逻辑为规范语言,利用trace模型来描述协议的行为,并假设系统中存在强......
随着数字系统的日益复杂,基于IP(Intellectual Property)的设计方法成为缩短开发周期的必然之选。因此,高可信IP核构建技术成为IP......
在计算机领域引入程序可视化技术，把图形技术融进程序设计中，其目的在于减少人与机器交流的故障。首先简述可视程序设计的基本概念，然......
采用基于形式规范的测试模板框架(TTF)可使测试规范通用化.测试规范使用基于模型的规范语言,由描述语言Z定义TTF基本部件的形式描......
随着软件的广泛应用,特别是软件在尖端领域的应用,软件可靠性成为一个非常重要的问题。形式化规范在软件可靠性研究中能够起到的作......
该文给出用PVS(Prototype Verification System)对安全协议进行形式化规范的一种方 法。该方法以高阶逻辑为规范语言,利用trace模......
形式化方法能精确、无二义地描述软件规范，但其可读性、可理解性差以及缺乏有效的自动测试工具．鉴于此，提出一种新的方法将支持面向对......
...
软件测试在软件的开发和维护上来说是一个昂贵的部分。而这一过程劳动特别密集的一个部分就是产生满足需求的测试数据。给一个测试......
各类软件复用技术、界面开发方法和各种界面设计知识的深入研究和广泛实践,必将促使界面的工程化开发迈向一个新台阶。这集中表现......
本文介绍HDLC通信控制器及HDLC规程软件的实现原理、方法和设计过程。由于采用了先进的协定形式化技术和层次化结构,使研制的通信......
