可信软件的构造与演化分析专刊前言被引量：1

下载PDF

导出

摘要近年来，软件及其运行环境发生了质的变化，边界开放、规模巨大、行为复杂等特点使得软件系统在可信性方面面临许多新的挑战．如何构造和维护可信的软件系统受到了工业界和学术界越来越多的关注和重视，多国政府、组织、企业、科研机构纷纷提出了与可信软件构造与演化相关的研究计划．为了总结国内外在该研究领域所取得的重要研究成果，特别是我国国家高技术研究发展计划（863）、

作者王怀民徐洁

机构地区国防科学技术大学计算机学院 School of Computing

出处《软件学报》 EI CSCD 北大核心 2010年第2期177-178,共2页 Journal of Software

关键词软件系统软件构造演化分析研究成果科研机构学术界工业界可信性

分类号 TP311.52 [自动化与计算机技术—计算机软件与理论] TU37 [建筑科学—结构工程]

引文网络
相关文献

同被引文献3

1陆文,徐锋,吕建.一种开放环境下的软件可靠性评估方法[J].计算机学报,2010,33(3):452-462. 被引量：38
2林闯,薛超,胡杰,李文焯.计算机系统体系结构的层次设计[J].计算机学报,2017,40(9):1996-2017. 被引量：17
3马艳芳,王梦月,周伟,陈亮.基于可信性的模块化软件开发费用分配算法[J].计算机工程与科学,2020,42(6):1021-1029. 被引量：4

引证文献1

1黄杜娟.基于费用的软件系统可信性分配模型研究[J].科技视界,2024,14(19):82-85.

1《软件学报》可信软件的构造与演化专刊征文通知[J].软件学报,2009,20(5).
2《软件学报》可信软件的构造与演化专刊征文通知[J].软件学报,2009,20(6).
3董渊,任恺,王生原,张素琴.字节码虚拟机的构造和验证[J].软件学报,2010,21(2):305-317. 被引量：2
4饶居华,李长云,李鹏.一种基于模糊理论的Web服务信任评估方法[J].计算机应用与软件,2009,26(8):23-25. 被引量：2
5王建军,王冬石,李杰,段梦兰,张文.半潜式钻井平台浮箱表面裂纹损伤研究[J].中国海上油气,2008,20(6):404-410. 被引量：1
6王银明.汽车制造总装配车间工艺布置设计方案评价[J].工程建设与设计,2014(8):117-121. 被引量：1
7陶小乐,姜鑫.“特种有机硅密封材料的制备与应用研究”项目列入国家863计划[J].中国建筑金属结构,2003(9):37-37.
8科技部高技术中心领导检查指导我校863计划项目进展情况[J].陕西科技大学学报（自然科学版）,2011,29(2):174-174.
9我校承担的国家高技术研究发展计划重点项目“集成化网络安全防卫系统”通过验收并获得“特优”成绩[J].西安交通大学学报,2006,40(6):638-638.
10合肥高科技为北京“绿色奥运”保驾[J].合肥科技,2006(5):4-4.

软件学报

2010年第2期

浏览历史

内容加载中请稍等...

可信软件的构造与演化分析专刊前言被引量：1

同被引文献3

引证文献1

相关作者

相关机构

相关主题

浏览历史

可信软件的构造与演化分析专刊前言 被引量：1

同被引文献3

引证文献1

相关作者

相关机构

相关主题

浏览历史

可信软件的构造与演化分析专刊前言被引量：1