形式化规范相关论文
分布式制造调度控制体系结构的良好形式化设计是确保后续开发系统一致性和高效性的基础。以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模......
形式化方法能精确、无二义地描述软件规范，但其可读性、可理解性差以及缺乏有效的自动测试工具．鉴于此，提出一种新的方法将支持面向对......
软件测试在软件的开发和维护上来说是一个昂贵的部分。而这一过程劳动特别密集的一个部分就是产生满足需求的测试数据。给一个测试......
各类软件复用技术、界面开发方法和各种界面设计知识的深入研究和广泛实践,必将促使界面的工程化开发迈向一个新台阶。这集中表现......
随着数字系统的日益复杂,基于IP(Intellectual Property)的设计方法成为缩短开发周期的必然之选。然而,很少有公司能够提供用于完......
本文介绍HDLC通信控制器及HDLC规程软件的实现原理、方法和设计过程。由于采用了先进的协定形式化技术和层次化结构,使研制的通信......
