形式化描述语言相关论文
基于计算机视觉的人体运动捕捉技术为舞蹈动作的形式化与数字化描述提供了新思路。本文结合运动捕捉技术,设计了一种新的舞蹈动作......
协议测试理论是从软件测试的基础上发展起来的,协议测试包括:协议一致性测试、互操作性测试和性能测试.协议一致性测试是协议测试......
针对目前对B／S模式MIS程序需求日益增长与B／S模式MIS程序开发效率低下、自动化程度低的矛盾，本文提出了一种利用XML和构架构件技术，实......
随着计算机科学与其他学科之间的相互渗透和影响,科学家们根据不同原理提出了不同的计算模型。细胞膜计算是一种基于生物细胞膜结......
Rootkit是一种新型的恶意程序程序或程序集,设计的目的是用来秘密的控制被攻占的计算机的行为。通过隐蔽后门程序或其他类似的工具......
软件设计中,类和对象的设计及它们之间依赖关系的确定严重影响到软件的复用性和灵活性,设计模式能够实现类和对象之间的完美设计。......
着重讨论一种描述专用语言的工具文本语言TL,它是一种形式化的描述语言,用文本语言TL可以严格地刻划所描述的专用语言的全信息,包......
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念.针对这些问......
讨论了为建立协议模型而进行的CSP扩充问题.主要向CSP中引入了可终止进程的概念,给出了可终止进程的判定方法;提出了用CSP来描述异......
协议测试是用来保证协议实现的正确性和有效性的重要手段。协议一致性测试关注被 测协议实现与协议文本要求的一致性,是协议测试......
介绍了面向对象的层次Petri网HOOPN的基本定义、语法和图形表示.HOOPN支持主要的面向对象的特征,包括抽象、封装、模块化对象、继......
IPv6协议是下一代互联网协议,IPSec(安全IP)协议是IPv6协议的一个重要组成部分,用于保障IP数据报的安全.对IPSec协议的一致性测试......
为了研究软件动态体系结构与静态体系结构的一致性，针对软件体系结构的动态获取提出一套映射规则，该规则将系统运行事件映射为软件体......
安全协议的设计和分析是复杂而且容易出错的.使用形式化的语言有利于安全协议的正确性和完整性.现有的安全协议的描述方法大多很复......
针对传统网络环境构建存在成本高、效率低、可控性差的问题,进行了虚拟网络环境自动化构建技术研究,提出了一种基于KVM虚拟化的网......
