学术探索
学术期刊
新闻热点
数据分析
智能评审
立即登录
构造基于互联网的可信软件生产服务系统
被引:1
作者
:
论文数:
引用数:
h-index:
机构:
尹刚
王怀民
论文数:
0
引用数:
0
h-index:
0
机构:
国防科学技术大学计算机学院
王怀民
论文数:
引用数:
h-index:
机构:
袁霖
论文数:
引用数:
h-index:
机构:
朱沿旭
论文数:
引用数:
h-index:
机构:
史殿习
论文数:
引用数:
h-index:
机构:
米海波
机构
:
[1]
国防科学技术大学计算机学院
来源
:
计算机科学与探索
|
2011年
/ 5卷
/ 10期
关键词
:
可信软件;
证据组合;
开源软件;
可信软件生产工具与集成环境(Trustie);
D O I
:
暂无
中图分类号
:
TP309 [安全保密];
学科分类号
:
081201 ;
0839 ;
1402 ;
摘要
:
基于互联网构造可信软件的大规模协作开发环境是近年来软件工程领域的热点。对当前若干典型软件协作开发方法和技术进行了分析,参考人类社会生产概念体系,提出了一种面向互联网的可信软件生产框架,对可信软件生产的概念、生产要素、生产活动和生产方式进行了系统的分类和阐述,给出了基本生产过程和核心生产要素组织方法。结合国家863重点项目软件成果"可信的国家软件资源共享与协同生产环境(Trustie)",分析了该可信软件生产框架在软件资源共享、协作开发和可信评估等方面的机理和有效性。
引用
收藏
页码:880 / 890
页数:11
相关论文
共 3 条
[1]
网构软件技术体系:一种以体系结构为中心的途径
[J].
杨芙清
论文数:
0
引用数:
0
h-index:
0
机构:
北京大学高可信软件技术教育部重点实验室
北京大学高可信软件技术教育部重点实验室
杨芙清
;
吕建
论文数:
0
引用数:
0
h-index:
0
机构:
南京大学计算机软件新技术国家重点实验室
北京大学高可信软件技术教育部重点实验室
吕建
;
梅宏
论文数:
0
引用数:
0
h-index:
0
机构:
北京大学高可信软件技术教育部重点实验室
北京大学高可信软件技术教育部重点实验室
梅宏
.
中国科学(E辑:信息科学),
2008,
(06)
:818
-828
[2]
“可信软件基础研究”重大研究计划综述
[J].
刘克
论文数:
0
引用数:
0
h-index:
0
机构:
国家自然科学基金委员会信息科学部
国家自然科学基金委员会信息科学部
刘克
;
单志广
论文数:
0
引用数:
0
h-index:
0
机构:
国家信息中心信息化研究部
国家自然科学基金委员会信息科学部
单志广
;
王戟
论文数:
0
引用数:
0
h-index:
0
机构:
国防科技大学计算机学院
国家自然科学基金委员会信息科学部
王戟
;
论文数:
引用数:
h-index:
机构:
何积丰
;
张兆田
论文数:
0
引用数:
0
h-index:
0
机构:
国家自然科学基金委员会信息科学部
国家自然科学基金委员会信息科学部
张兆田
;
论文数:
引用数:
h-index:
机构:
秦玉文
.
中国科学基金,
2008,
(03)
:145
-151
[3]
生产方式.[M].于金富; 著.社会科学文献出版社.2009,
←
1
→
共 3 条
[1]
网构软件技术体系:一种以体系结构为中心的途径
[J].
杨芙清
论文数:
0
引用数:
0
h-index:
0
机构:
北京大学高可信软件技术教育部重点实验室
北京大学高可信软件技术教育部重点实验室
杨芙清
;
吕建
论文数:
0
引用数:
0
h-index:
0
机构:
南京大学计算机软件新技术国家重点实验室
北京大学高可信软件技术教育部重点实验室
吕建
;
梅宏
论文数:
0
引用数:
0
h-index:
0
机构:
北京大学高可信软件技术教育部重点实验室
北京大学高可信软件技术教育部重点实验室
梅宏
.
中国科学(E辑:信息科学),
2008,
(06)
:818
-828
[2]
“可信软件基础研究”重大研究计划综述
[J].
刘克
论文数:
0
引用数:
0
h-index:
0
机构:
国家自然科学基金委员会信息科学部
国家自然科学基金委员会信息科学部
刘克
;
单志广
论文数:
0
引用数:
0
h-index:
0
机构:
国家信息中心信息化研究部
国家自然科学基金委员会信息科学部
单志广
;
王戟
论文数:
0
引用数:
0
h-index:
0
机构:
国防科技大学计算机学院
国家自然科学基金委员会信息科学部
王戟
;
论文数:
引用数:
h-index:
机构:
何积丰
;
张兆田
论文数:
0
引用数:
0
h-index:
0
机构:
国家自然科学基金委员会信息科学部
国家自然科学基金委员会信息科学部
张兆田
;
论文数:
引用数:
h-index:
机构:
秦玉文
.
中国科学基金,
2008,
(03)
:145
-151
[3]
生产方式.[M].于金富; 著.社会科学文献出版社.2009,
←
1
→