期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于可执行规格说明的维修机构建模与仿真
被引量：
3
1
作者
曲长征
于永利
+1 位作者
陈乐
张彦忠
《系统工程与电子技术》
EI
CSCD
北大核心
2007年第3期492-494,共3页
为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状...
为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状态变化过程进行了详细描述,准确反映了维修机构的维修等待和资源竞争现象,同时将定量关系嵌入到描述模型中。通过模型执行,以动画显示系统状态的变化,分析系统性能。最后给出了一个建模与仿真实例。实例表明,基于可执行规格说明建模和仿真方法是研究维修机构运行的有效工具。
展开更多
关键词
可重构制造系统
系统建模
可执行
规格
说明
PETRI网
在线阅读
下载PDF
职称材料
一个结构良好的规格说明工具：抽象逻辑结构图
被引量：
8
2
作者
刘建宾
《计算机工程与设计》
CSCD
北大核心
1996年第2期32-35,共4页
提出一种新的图形化规格说明工具一抽象逻辑结构图ＡＬＳＤ，给出了它的形式化定义和图形表示方法。抽象逻辑结构图是一种图形和正文相结合的简单树形图式，它可以用于加工逻辑、数据结构、判定树等的描述与表示。
关键词
ALSD
规格
说明
工具
数据结构
在线阅读
下载PDF
职称材料
基于结构化功能规格说明的测试方法和工具
3
作者
林振
吴定一
《软件学报》
EI
CSCD
北大核心
1995年第6期366-371,共6页
由于程序的形式化验证技术还局限于比较小的程序，软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段．测试大型软件是一项既繁重又复杂的工作，计算机辅助软件测试将会大大降低测试工作量，提高测试效率．...
由于程序的形式化验证技术还局限于比较小的程序，软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段．测试大型软件是一项既繁重又复杂的工作，计算机辅助软件测试将会大大降低测试工作量，提高测试效率．本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法，然后阐述如何基于该方法设计井实现一个测试工具环境，以提高测试者的工作效率，减轻测试者的负担．
展开更多
关键词
软件测试
软件
规格
说明
测试
工具
在线阅读
下载PDF
职称材料
Web应用的UML协作图建模与形式化规格说明
被引量：
2
4
作者
汪斌
袁捷
+2 位作者
缪淮扣
毕德闯
朱洪宝
《计算机工程与设计》
CSCD
北大核心
2008年第19期4898-4902,共5页
针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式...
针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式化描述Web应用模型,提出了相应的转换规则。设计了形式化规格说明自动化生成的工具(UMLTOZ)中的主要相关类库。
展开更多
关键词
WEB应用
建模
UML协作图
形式化
规格
说明
自动化
工具
在线阅读
下载PDF
职称材料
组件思想在模拟执行的需求检查方法中的运用
被引量：
2
5
作者
李勇华
毋国庆
+1 位作者
舒风笛
熊子阳
《计算机工程与应用》
CSCD
北大核心
2003年第3期61-63,共3页
模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型...
模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索。
展开更多
关键词
组件思想
模拟
执行
需求检查方法
软件开发
软件系统
嵌入式实时软件系统
需求
规格
说明
在线阅读
下载PDF
职称材料
面向对象软件簇级的一种动态测试工具的设计与实现
被引量：
2
6
作者
孙玉霞
陈火炎
《小型微型计算机系统》
CSCD
北大核心
2003年第3期376-379,共4页
提出一种基于规格说明的面向对象簇级动态测试的新方法 ,并将它完全嵌入到被测试程序的解释器中 ,从而构成了一个解释型簇级测试工具 .
关键词
面向对象
软件簇级
动态测试
工具
设计
软件
工具
软件系统
规格
说明
解释器
在线阅读
下载PDF
职称材料
基于ESHLEP-N印染生产线的仿真
被引量：
1
7
作者
周晓慧
谢作豪
《机电工程》
CAS
2008年第11期94-96,104,共4页
印染生产线是一个复杂的流程制造系统,存在着生产瓶颈不易诊断、设备利用率低等问题。在分析印染生产线工艺流程特点的基础上,建立了基于扩展随机高级判断Petri网的印染生产线模型,并把此模型转化为可执行的规格说明工具ExSpect仿真模型...
印染生产线是一个复杂的流程制造系统,存在着生产瓶颈不易诊断、设备利用率低等问题。在分析印染生产线工艺流程特点的基础上,建立了基于扩展随机高级判断Petri网的印染生产线模型,并把此模型转化为可执行的规格说明工具ExSpect仿真模型,通过实例验证了模型的可操作性与有效性,分析了具有优化生产运行作用的生产性能。
展开更多
关键词
印染生产线
扩展随机高级判断Petri网
可执行的规格说明工具
仿真
在线阅读
下载PDF
职称材料
基于ExSpect领域模型库的装备维修机构仿真环境构建
被引量：
4
8
作者
曲长征
张柳
+1 位作者
于永利
梁伟杰
《系统仿真学报》
CAS
CSCD
北大核心
2009年第9期2772-2775,共4页
应用可执行规格说明语言及工具Exspect,建立了支持维修机构建模仿真分析的领域模型库。该环境支持下,通过可重用组件的安装和实例化,可显著提高维修机构的建模效率。在模型仿真环境中,可自动运行模型,直观分析系统运行特性,并可进行定...
应用可执行规格说明语言及工具Exspect,建立了支持维修机构建模仿真分析的领域模型库。该环境支持下,通过可重用组件的安装和实例化,可显著提高维修机构的建模效率。在模型仿真环境中,可自动运行模型,直观分析系统运行特性,并可进行定量分析,为维修保障建模、仿真提供了实用、高效的技术手段。
展开更多
关键词
维修机构
可执行
规格
说明
领域模型
建模与仿真
在线阅读
下载PDF
职称材料
基于构图覆盖的软件需求检测方法
9
作者
王敏
毋国庆
+1 位作者
朱立松
舒风笛
《小型微型计算机系统》
CSCD
北大核心
2003年第11期1963-1968,共6页
以需求描述模型 RTRSM为基础 ,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型 ,提出了构图覆盖的动态检测方法 ,并给出了其具体算法 .该方法能检测嵌入式实时软件系统动态执行步中各并行成分及其相互...
以需求描述模型 RTRSM为基础 ,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型 ,提出了构图覆盖的动态检测方法 ,并给出了其具体算法 .该方法能检测嵌入式实时软件系统动态执行步中各并行成分及其相互间的执行情况 ,而且也可为分析员提供一些有用的检测信息以提高分析和检测软件需求的效率 .
展开更多
关键词
嵌入式实时软件系统
需求
规格
说明
动态
执行
模型
构图
在线阅读
下载PDF
职称材料
表格语言的分析比较
10
作者
陈怡海
缪淮扣
《计算机科学》
CSCD
北大核心
2014年第3期23-26,共4页
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同...
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。
展开更多
关键词
表格方法
形式方法
规格
说明
验证与确认
工具
支持
在线阅读
下载PDF
职称材料
题名
基于可执行规格说明的维修机构建模与仿真
被引量：
3
1
作者
曲长征
于永利
陈乐
张彦忠
机构
军械工程学院装备指挥与管理系
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2007年第3期492-494,共3页
文摘
为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状态变化过程进行了详细描述,准确反映了维修机构的维修等待和资源竞争现象,同时将定量关系嵌入到描述模型中。通过模型执行,以动画显示系统状态的变化,分析系统性能。最后给出了一个建模与仿真实例。实例表明,基于可执行规格说明建模和仿真方法是研究维修机构运行的有效工具。
关键词
可重构制造系统
系统建模
可执行
规格
说明
PETRI网
Keywords
reconfigurable manufacturing system
system modeling
executable specifications
Petri Net
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
一个结构良好的规格说明工具：抽象逻辑结构图
被引量：
8
2
作者
刘建宾
机构
汕头大学计算机系
出处
《计算机工程与设计》
CSCD
北大核心
1996年第2期32-35,共4页
文摘
提出一种新的图形化规格说明工具一抽象逻辑结构图ＡＬＳＤ，给出了它的形式化定义和图形表示方法。抽象逻辑结构图是一种图形和正文相结合的简单树形图式，它可以用于加工逻辑、数据结构、判定树等的描述与表示。
关键词
ALSD
规格
说明
工具
数据结构
Keywords
Abstract logic structure diagrams(ALSD) SPecification techniquesSoftware representation tools
分类号
TP311.12 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于结构化功能规格说明的测试方法和工具
3
作者
林振
吴定一
机构
华东理工大学计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
1995年第6期366-371,共6页
文摘
由于程序的形式化验证技术还局限于比较小的程序，软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段．测试大型软件是一项既繁重又复杂的工作，计算机辅助软件测试将会大大降低测试工作量，提高测试效率．本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法，然后阐述如何基于该方法设计井实现一个测试工具环境，以提高测试者的工作效率，减轻测试者的负担．
关键词
软件测试
软件
规格
说明
测试
工具
Keywords
Software testing, software specification, computer-aided software testing,test tool environment.
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
Web应用的UML协作图建模与形式化规格说明
被引量：
2
4
作者
汪斌
袁捷
缪淮扣
毕德闯
朱洪宝
机构
上海大学计算机工程与科学学院
出处
《计算机工程与设计》
CSCD
北大核心
2008年第19期4898-4902,共5页
基金
国家自然科学基金项目(60673115)
上海市重点学科建设基金项目(J50103)
文摘
针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式化描述Web应用模型,提出了相应的转换规则。设计了形式化规格说明自动化生成的工具(UMLTOZ)中的主要相关类库。
关键词
WEB应用
建模
UML协作图
形式化
规格
说明
自动化
工具
Keywords
web application
modeling
UML collaboration diagrams
formal specifications
automated tool
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
组件思想在模拟执行的需求检查方法中的运用
被引量：
2
5
作者
李勇华
毋国庆
舒风笛
熊子阳
机构
武汉大学软件工程国家重点实验室
武汉大学计算机科学系
出处
《计算机工程与应用》
CSCD
北大核心
2003年第3期61-63,共3页
基金
国家自然科学基金(编号:69873035)
高等学校博士点专项科研基金资助
文摘
模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索。
关键词
组件思想
模拟
执行
需求检查方法
软件开发
软件系统
嵌入式实时软件系统
需求
规格
说明
Keywords
Embedded real-time software systems ,Requirements specifications,Component
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
面向对象软件簇级的一种动态测试工具的设计与实现
被引量：
2
6
作者
孙玉霞
陈火炎
机构
暨南大学计算机科学系
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第3期376-379,共4页
基金
国家自然科学基金 (#69873 0 2 0 )和 (#60 173 0 3 8)资助
广东省科学基金 (980 690 )资助
文摘
提出一种基于规格说明的面向对象簇级动态测试的新方法 ,并将它完全嵌入到被测试程序的解释器中 ,从而构成了一个解释型簇级测试工具 .
关键词
面向对象
软件簇级
动态测试
工具
设计
软件
工具
软件系统
规格
说明
解释器
Keywords
specification
object oriented
testing at cluster level
interpreter
分类号
TP311.56 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于ESHLEP-N印染生产线的仿真
被引量：
1
7
作者
周晓慧
谢作豪
机构
杭州电子科技大学自动化学院
出处
《机电工程》
CAS
2008年第11期94-96,104,共4页
基金
浙江省科技厅攻关资助项目(C11029-01)
文摘
印染生产线是一个复杂的流程制造系统,存在着生产瓶颈不易诊断、设备利用率低等问题。在分析印染生产线工艺流程特点的基础上,建立了基于扩展随机高级判断Petri网的印染生产线模型,并把此模型转化为可执行的规格说明工具ExSpect仿真模型,通过实例验证了模型的可操作性与有效性,分析了具有优化生产运行作用的生产性能。
关键词
印染生产线
扩展随机高级判断Petri网
可执行的规格说明工具
仿真
Keywords
the production line of printing and dyeing
extended stochastic high level evaluation Petri net（ESHLEP-N）
executable specification tool（ExSpect）
simulation
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于ExSpect领域模型库的装备维修机构仿真环境构建
被引量：
4
8
作者
曲长征
张柳
于永利
梁伟杰
机构
军械工程学院装备指挥与管理系维修工程实验中心
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第9期2772-2775,共4页
文摘
应用可执行规格说明语言及工具Exspect,建立了支持维修机构建模仿真分析的领域模型库。该环境支持下,通过可重用组件的安装和实例化,可显著提高维修机构的建模效率。在模型仿真环境中,可自动运行模型,直观分析系统运行特性,并可进行定量分析,为维修保障建模、仿真提供了实用、高效的技术手段。
关键词
维修机构
可执行
规格
说明
领域模型
建模与仿真
Keywords
maintenance organization
executable specification
domain model
modeling and simulation
分类号
E92 [兵器科学与技术—武器系统与运用工程]
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于构图覆盖的软件需求检测方法
9
作者
王敏
毋国庆
朱立松
舒风笛
机构
武汉大学软件工程国家重点实验室
武汉大学计算机科学系
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第11期1963-1968,共6页
基金
国家自然科学基金 (项目号 :69873 0 3 5 )资助
高等学校博士点专项科研基金资助
文摘
以需求描述模型 RTRSM为基础 ,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型 ,提出了构图覆盖的动态检测方法 ,并给出了其具体算法 .该方法能检测嵌入式实时软件系统动态执行步中各并行成分及其相互间的执行情况 ,而且也可为分析员提供一些有用的检测信息以提高分析和检测软件需求的效率 .
关键词
嵌入式实时软件系统
需求
规格
说明
动态
执行
模型
构图
Keywords
embedded real time software systems
requirements specifications
dynamic execution model
configurations
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
表格语言的分析比较
10
作者
陈怡海
缪淮扣
机构
上海大学计算机工程与科学学院
上海市计算机软件评测重点实验室
出处
《计算机科学》
CSCD
北大核心
2014年第3期23-26,共4页
基金
国家自然科学基金项目(61073050
61170044)资助
文摘
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。
关键词
表格方法
形式方法
规格
说明
验证与确认
工具
支持
Keywords
Tabular notations
Formal methods
Specification verification and validation
Tool support
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于可执行规格说明的维修机构建模与仿真
曲长征
于永利
陈乐
张彦忠
《系统工程与电子技术》
EI
CSCD
北大核心
2007
3
在线阅读
下载PDF
职称材料
2
一个结构良好的规格说明工具：抽象逻辑结构图
刘建宾
《计算机工程与设计》
CSCD
北大核心
1996
8
在线阅读
下载PDF
职称材料
3
基于结构化功能规格说明的测试方法和工具
林振
吴定一
《软件学报》
EI
CSCD
北大核心
1995
0
在线阅读
下载PDF
职称材料
4
Web应用的UML协作图建模与形式化规格说明
汪斌
袁捷
缪淮扣
毕德闯
朱洪宝
《计算机工程与设计》
CSCD
北大核心
2008
2
在线阅读
下载PDF
职称材料
5
组件思想在模拟执行的需求检查方法中的运用
李勇华
毋国庆
舒风笛
熊子阳
《计算机工程与应用》
CSCD
北大核心
2003
2
在线阅读
下载PDF
职称材料
6
面向对象软件簇级的一种动态测试工具的设计与实现
孙玉霞
陈火炎
《小型微型计算机系统》
CSCD
北大核心
2003
2
在线阅读
下载PDF
职称材料
7
基于ESHLEP-N印染生产线的仿真
周晓慧
谢作豪
《机电工程》
CAS
2008
1
在线阅读
下载PDF
职称材料
8
基于ExSpect领域模型库的装备维修机构仿真环境构建
曲长征
张柳
于永利
梁伟杰
《系统仿真学报》
CAS
CSCD
北大核心
2009
4
在线阅读
下载PDF
职称材料
9
基于构图覆盖的软件需求检测方法
王敏
毋国庆
朱立松
舒风笛
《小型微型计算机系统》
CSCD
北大核心
2003
0
在线阅读
下载PDF
职称材料
10
表格语言的分析比较
陈怡海
缪淮扣
《计算机科学》
CSCD
北大核心
2014
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
