RAISE规范语言相关论文
与轮轨交通技术相比,高速磁浮交通技术更加节能和环保,并且速度也更有优势,是21世纪非常有竞争力的运输系统。随着高速磁浮交通技......
模型 -实例库是基于知识的智能CAD系统的重要组成部分。本文用RAISE规范语言对原型库及实例库的结构及它们之间的关系进行了形式化......
利用以数学为基础的形式化语言RAISE对支持基于实例推理的实例 -模型库进行规约 ,通过建立严格的抽象化数学模型 ,有利于设计者更......
如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设......
讨论使用RAISE规范语言（RSL）描述6种协议元素的方法。在RSL描述的基础上，借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则......
通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述：首先探......
研究以RAISE规范语言（RSL）描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻......
