形式化描述语言相关论文
伴随着越来越多的成功软件系统变成了遗产系统,软件演化的重要性和普及性越来越强。软件演化已成为软件生存周期中最重要的形态之一......
基于计算机视觉的人体运动捕捉技术为舞蹈动作的形式化与数字化描述提供了新思路。本文结合运动捕捉技术,设计了一种新的舞蹈动作......
协议测试理论是从软件测试的基础上发展起来的,协议测试包括:协议一致性测试、互操作性测试和性能测试.协议一致性测试是协议测试......
针对目前对B/S模式MIS程序需求日益增长与B/S模式MIS程序开发效率低下、自动化程度低的矛盾,本文提出了一种利用XML和构架构件技术,实......
Rootkit是一种新型的恶意程序程序或程序集,设计的目的是用来秘密的控制被攻占的计算机的行为。通过隐蔽后门程序或其他类似的工具......
本文采用形式化描述语言SDL对目前仍占主流地位的GSM系统进行了系统、块、进程和过程等分层抽象并对其进行形式化描述。以其中的呼......
本文采用形式化描述语言SDL对目前仍占主流地位的GSM系统进行了系统、块、进程和过程等分层抽象并对其进行形式化描述。以其中的呼......
针对传统网络环境构建存在成本高、效率低、可控性差的问题,进行了虚拟网络环境自动化构建技术研究,提出了一种基于KVM虚拟化的网络......
IPv6协议是下一代互联网协议,Neighbor Discovery(邻居发现)协议是IPv6协议的一个重要组成部分,RFC2461是邻居发现协议的标准文本.......
软件设计中,类和对象的设计及它们之间依赖关系的确定严重影响到软件的复用性和灵活性,设计模式能够实现类和对象之间的完美设计。......
着重讨论一种描述专用语言的工具文本语言TL,它是一种形式化的描述语言,用文本语言TL可以严格地刻划所描述的专用语言的全信息,包......
<正> 一、引言形式化方法的研究和应用已有二十多年的历史,源于Dijkstra和Hoare的程序验证以及Scott、stratchey等人的程序语义研......
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念.针对这些问......
电信业务开发实践表明正确获取和建模业务能需求是成功开发新业务的前提和基础,因此文章强调建模用户需求的重要性,提出基于UCM和SDL......
首先提出一种基于CSP的协议形式化描述方法。这种方法把协议看成交互实体,从而能很方便地描述协议间的交互关系以及仿真一个协议交......
讨论了为建立协议模型而进行的CSP扩充问题.主要向CSP中引入了可终止进程的概念,给出了可终止进程的判定方法;提出了用CSP来描述异......
协议测试是用来保证协议实现的正确性和有效性的重要手段。协议一致性测试关注被 测协议实现与协议文本要求的一致性,是协议测试......
介绍了面向对象的层次Petri网HOOPN的基本定义、语法和图形表示.HOOPN支持主要的面向对象的特征,包括抽象、封装、模块化对象、继......
针对自然语言或图形符号等非形式化方法在刻画传统特征模型所产生的二义性问题,在FODA等方法的研究基础上,提出用形式化语言对特征......
IPv6协议是下一代互联网协议,IPSec(安全IP)协议是IPv6协议的一个重要组成部分,用于保障IP数据报的安全.对IPSec协议的一致性测试......
为了研究软件动态体系结构与静态体系结构的一致性,针对软件体系结构的动态获取提出一套映射规则,该规则将系统运行事件映射为软件体......
安全协议的设计和分析是复杂而且容易出错的.使用形式化的语言有利于安全协议的正确性和完整性.现有的安全协议的描述方法大多很复......
针对传统网络环境构建存在成本高、效率低、可控性差的问题,进行了虚拟网络环境自动化构建技术研究,提出了一种基于KVM虚拟化的网......