检索结果-维普期刊中文期刊服务平台

RAISE语言的语法制导编辑器设计: 1; 作者马继忠赵雄芳《计算机工程与科学》 CSCD 1991年第1期56-62,共7页; RSDE 是RAISE 语言的语法制导编辑器在MAC 机上的实现系统。该系统采用多窗口、下拉式菜单、鼠标、键盘四位一体的操作方式,可以同时显示程序的正文形式和内部形式(即语法树的图形显示)。本文介绍了RSDE 的设计与实现,最后给出了RSDE ... 展开更多; 关键词 raise语言语法编辑器; 在线阅读下载PDF 职称材料

形式化语言对实例-模型库的规约被引量：3: 2; 作者蒋庆孙林夫《计算机应用》 CSCD 2000年第S1期143-144,共2页; 利用以数学为基础的形式化语言RAISE对支持基于实例推理的实例 -模型库进行规约 ,通过建立严格的抽象化数学模型 ,有利于设计者更好的理解系统结构 ,及早排除系统缺陷 ,维护知识项之间的一致性。; 关键词基于实例的推理形式化方法知识库 raise规范语言; 在线阅读下载PDF 职称材料

基于RSL的协议形式化描述与验证方法被引量：3: 3; 作者顾翔邱建林邵浩然《计算机工程》 CAS CSCD 北大核心 2009年第23期41-43,共3页; 讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相... 展开更多; 关键词协议工程形式化描述 raise规范语言协议验证; 在线阅读下载PDF 职称材料

UML状态机模型元素的RSL形式化定义被引量：4: 4; 作者郭艳燕刘惊雷《计算机科学》 CSCD 北大核心 2013年第5期177-183,205,共8页; UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一... 展开更多; 关键词统一建模语言(UML ) 状态机形式化方法有穷自动机 raise规约语言(RSL); 在线阅读下载PDF 职称材料

基于输入/输出动作的协议形式化描述和测试用例生成方法被引量：1: 5; 作者顾翔邱建林严燕《计算机应用》 CSCD 北大核心 2008年第6期1471-1474,共4页; 通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提... 展开更多; 关键词协议测试形式化描述 raise规范语言; 在线阅读下载PDF 职称材料

基于时态逻辑的协议RSL形式化描述: 6; 作者顾翔邱建林《计算机工程》 CAS CSCD 北大核心 2011年第5期7-9,共3页; 研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤,以AB协议为示例,给出其基于时态逻辑模型的RSL描述,从而... 展开更多; 关键词时态逻辑 raise规范语言形式化描述协议工程; 在线阅读下载PDF 职称材料

可信软件实时性测试用例集生成方法研究被引量：2: 7; 作者蔡琼李兴国丁帅《计算机应用研究》 CSCD 北大核心 2009年第6期2344-2346,2348,共4页; 基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造... 展开更多; 关键词时间化raise规范语言实时性可信软件测试用例; 在线阅读下载PDF 职称材料

用形式化方法设计工程智能CAD中的模型-实例库: 8; 作者李曙光孙林夫《计算机应用》 CSCD 2000年第S1期149-150,共2页; 模型 -实例库是基于知识的智能CAD系统的重要组成部分。本文用RAISE规范语言对原型库及实例库的结构及它们之间的关系进行了形式化地描述。通过将形式化规约自动翻译成C ++代码 ,建造了智能CAD系统的一个运行模型。; 关键词计算机辅助设计人工智能模型库实例库 raise规范语言; 在线阅读下载PDF 职称材料

题名RAISE语言的语法制导编辑器设计: 1; 作者马继忠赵雄芳; 出处《计算机工程与科学》 CSCD 1991年第1期56-62,共7页; 文摘 RSDE 是RAISE 语言的语法制导编辑器在MAC 机上的实现系统。该系统采用多窗口、下拉式菜单、鼠标、键盘四位一体的操作方式,可以同时显示程序的正文形式和内部形式(即语法树的图形显示)。本文介绍了RSDE 的设计与实现,最后给出了RSDE 系统的总体结构和功能描述。; 关键词 raise语言语法编辑器; 分类号 TP312RA [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名形式化语言对实例-模型库的规约被引量：3: 2; 作者蒋庆孙林夫; 机构西南交通大学CAD工程中心; 出处《计算机应用》 CSCD 2000年第S1期143-144,共2页; 文摘利用以数学为基础的形式化语言RAISE对支持基于实例推理的实例 -模型库进行规约 ,通过建立严格的抽象化数学模型 ,有利于设计者更好的理解系统结构 ,及早排除系统缺陷 ,维护知识项之间的一致性。; 关键词基于实例的推理形式化方法知识库 raise规范语言; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于RSL的协议形式化描述与验证方法被引量：3: 3; 作者顾翔邱建林邵浩然; 机构南通大学计算机科学与技术学院; 出处《计算机工程》 CAS CSCD 北大核心 2009年第23期41-43,共3页; 基金国家自然科学基金资助项目(60773041) 江苏省高校自然科学重大基础研究基金资助项目(07KJA51007) +2 种基金南通大学自然科学基金资助项目(06Z048); 文摘讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相比,RSL表现出较强的描述能力。; 关键词协议工程形式化描述 raise规范语言协议验证; Keywords protocol engineering formal description raise Specification Language（RSL） protocol verification; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名UML状态机模型元素的RSL形式化定义被引量：4: 4; 作者郭艳燕刘惊雷; 机构烟台大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2013年第5期177-183,205,共8页; 基金国家自然科学基金(61170224) 山东省自然科学基金(ZR2011FL018) 山东高等学校科研计划项目(J10LG27)资助; 文摘 UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于UML状态机的有穷自动机;然后用RAISE规约语言RSL对扩展后的自动机进行形式化定义,使UML状态机中的模型元素的语义更加清晰、精确,为后期的UML状态机的操作语义形式化研究打下基础。; 关键词统一建模语言(UML ) 状态机形式化方法有穷自动机 raise规约语言(RSL); Keywords Unified modeling language （UML） Statechart Formal method Finite automata raise specification lan- guage（RSL）; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于输入/输出动作的协议形式化描述和测试用例生成方法被引量：1: 5; 作者顾翔邱建林严燕; 机构南通大学计算机科学与技术学院; 出处《计算机应用》 CSCD 北大核心 2008年第6期1471-1474,共4页; 基金国家自然科学基金资助项目(60773041) 江苏省高校自然科学重大基础研究项目(07KJA51007) +4 种基金南通市应用研究计划(K2007013) 2005年南通大学博士启动基金江苏省高校"青蓝工程"资助项目; 文摘通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提出了一种基于输入/输出动作的协议测试序列生成法则以及基于此法则的测试用例生成方法,并对使用该方法生成的测试用例的性质进行了讨论。; 关键词协议测试形式化描述 raise规范语言; Keywords protocol test formal description raise Specification Language （RSL）; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于时态逻辑的协议RSL形式化描述: 6; 作者顾翔邱建林; 机构南通大学计算机科学与技术学院; 出处《计算机工程》 CAS CSCD 北大核心 2011年第5期7-9,共3页; 基金国家自然科学基金资助项目(60773041) 江苏省高校自然科学基础研究基金资助项目(08KJB520009) +2 种基金江苏省高校"青蓝工程"基金资助项目; 文摘研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤,以AB协议为示例,给出其基于时态逻辑模型的RSL描述,从而证明该描述模型有利于协议验证和协议测试用例生成的自动实现。; 关键词时态逻辑 raise规范语言形式化描述协议工程; Keywords Temporal Logic（TL） raise Specification Language（RSL） formal description protocol engineering; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名可信软件实时性测试用例集生成方法研究被引量：2: 7; 作者蔡琼李兴国丁帅; 机构合肥工业大学管理学院; 出处《计算机应用研究》 CSCD 北大核心 2009年第6期2344-2346,2348,共4页; 基金国家自然科学基金资助项目(90718037); 文摘基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造具有时间约束的构造项和观测项,并在此基础上构建完整的基于TRSL规约的实时性测试用例集。; 关键词时间化raise规范语言实时性可信软件测试用例; Keywords TRSL real-time trusted software test case; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名用形式化方法设计工程智能CAD中的模型-实例库: 8; 作者李曙光孙林夫; 机构西南交通大学CAD工程中心; 出处《计算机应用》 CSCD 2000年第S1期149-150,共2页; 文摘模型 -实例库是基于知识的智能CAD系统的重要组成部分。本文用RAISE规范语言对原型库及实例库的结构及它们之间的关系进行了形式化地描述。通过将形式化规约自动翻译成C ++代码 ,建造了智能CAD系统的一个运行模型。; 关键词计算机辅助设计人工智能模型库实例库 raise规范语言; 分类号 TP391.7 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	RAISE语言的语法制导编辑器设计	马继忠赵雄芳	《计算机工程与科学》 CSCD	1991	0	在线阅读下载PDF 职称材料
2	形式化语言对实例-模型库的规约	蒋庆孙林夫	《计算机应用》 CSCD	2000	3	在线阅读下载PDF 职称材料
3	基于RSL的协议形式化描述与验证方法	顾翔邱建林邵浩然	《计算机工程》 CAS CSCD 北大核心	2009	3	在线阅读下载PDF 职称材料
4	UML状态机模型元素的RSL形式化定义	郭艳燕刘惊雷	《计算机科学》 CSCD 北大核心	2013	4	在线阅读下载PDF 职称材料
5	基于输入/输出动作的协议形式化描述和测试用例生成方法	顾翔邱建林严燕	《计算机应用》 CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
6	基于时态逻辑的协议RSL形式化描述	顾翔邱建林	《计算机工程》 CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
7	可信软件实时性测试用例集生成方法研究	蔡琼李兴国丁帅	《计算机应用研究》 CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
8	用形式化方法设计工程智能CAD中的模型-实例库	李曙光孙林夫	《计算机应用》 CSCD	2000	0	在线阅读下载PDF 职称材料