软件检验相关论文
LFC语言是以上下文无关语言为数据类型的函数式语言,在形式规约获取系统SAQ中用作形式规约语言。LFC语言的检验分成两部分:即上下文......
提出了一个电信系统业务特性集成的建模和检验方法 .根据这个方法 ,现有的系统和新的业务特性分别表述为一个着色Petri网 ,业务特......
岩层被不同的结构面切割,在进行隧道开挖时,临空面与结构面组合,使岩块变得可动。本文引入全空间赤平投影来找出临空面上这类块体......
必须大幅度地提高银行业务工作完成的效率。这要求使网络技术与在用户一服务设备系统运行的分布数据库技术相结合。将应时的oracle......
提出了一个电信系统业务特性集成的建模和检验方法.根据这个方法,现有的系统和新的业务特性分别表述为一个着色Petri网,业务特性的......