期刊导航
期刊开放获取
VIP36
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
问题框架方法的可靠性关注点及系统可靠性增强模式
被引量:
3
1
作者
尹斌
金芝
李智
《计算机学报》
EI
CSCD
北大核心
2013年第1期74-87,共14页
软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程...
软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程中,通过扩展问题的边界和精化机器的规格说明,为增强系统的可靠性提供支持.文中还展示了作者开发的一个支持系统可靠性分析的支撑工具,用于帮助需求分析者识别问题的可靠性需求,并正确地使用可靠性增强模式.最后,文章结合一个银行账户管理问题的案例展示了文中工作的可行性.
展开更多
关键词
系统
可靠性
问题框架方法
可靠性关注点
可靠性
增强模式
在线阅读
下载PDF
职称材料
题名
问题框架方法的可靠性关注点及系统可靠性增强模式
被引量:
3
1
作者
尹斌
金芝
李智
机构
中国科学院数学与系统科学研究院
中国科学院研究生院
高可信软件技术教育部重点实验室(北京大学)
北京大学信息科学技术学院软件研究所
广西师范大学计算机科学与信息技术学院
出处
《计算机学报》
EI
CSCD
北大核心
2013年第1期74-87,共14页
基金
国家自然科学重点基金(90818026)
国家"九七三"重点基础研究发展规划项目基金(2009CB320701)
广西壮族自治区自然科学基金(2012GXNSFCA053010)资助~~
文摘
软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程中,通过扩展问题的边界和精化机器的规格说明,为增强系统的可靠性提供支持.文中还展示了作者开发的一个支持系统可靠性分析的支撑工具,用于帮助需求分析者识别问题的可靠性需求,并正确地使用可靠性增强模式.最后,文章结合一个银行账户管理问题的案例展示了文中工作的可行性.
关键词
系统
可靠性
问题框架方法
可靠性关注点
可靠性
增强模式
Keywords
software system reliability
problem frames approach
reliability concern
reliabilityenhancement pattern
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
问题框架方法的可靠性关注点及系统可靠性增强模式
尹斌
金芝
李智
《计算机学报》
EI
CSCD
北大核心
2013
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部