-
题名问题框架方法的可靠性关注点及系统可靠性增强模式
被引量: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
[自动化与计算机技术—计算机软件与理论]
-
-
题名联合培养研究生管理方式改进探讨
被引量:4
- 2
-
-
作者
史新华
农丽萍
黄汉明
梁毅
谭晓莉
-
机构
广西师范大学物理科学与技术学院
广西师范大学计算机科学与信息技术学院
广西师范大学研究生学院
-
出处
《中国科教创新导刊》
2014年第5期192-193,共2页
-
文摘
当前,联合培养研究生是我国的一项基本国策,是高等教育机构贯彻执行国家发展总体战略部暑的重要任务,有利于推进西部大开发、全面振兴东北地区等老工业基地、大力促进中部崛起等区域的发展.教育部、国家发展改革委文件要求:各高等教育机构要根据本单位的研究生培养能力、办学条件等实际情况,尽可能扩大为中西部地区、民族地区、边疆地区以及东北地区等老工业基地定向或委托培养研究生的招生规模,为促进区域协调发展服务.作为西部地区高校的研究生教育管理人员和一线教师,我们有必要理清国内其他兄弟院校联合培养研究生的管理方式,理清联合培养研究生的整个流程,明确提高管理效率和管理水平的瓶颈问题,更公平客观地掌握联合培养研究生的实际状况,确实保证联合培养研究生的质量.
-
关键词
联合培养研究生
学分管理
成绩管理
信息系统
-
分类号
G4
[文化科学—教育技术学]
-