“可信软件基础研究”重大研究计划结题综述 |
| |
引用本文: | 何积丰,单志广,王戟,蒲戈光,房毓菲,刘克,赵瑞珍,张兆田.“可信软件基础研究”重大研究计划结题综述[J].中国科学基金,2018(3). |
| |
作者姓名: | 何积丰 单志广 王戟 蒲戈光 房毓菲 刘克 赵瑞珍 张兆田 |
| |
作者单位: | 华东师范大学计算机科学与软件工程学院;国家信息中心信息化和产业发展部;国防科技大学计算机学院;国家自然科学基金委员会信息科学部 |
| |
摘 要: | 本文介绍了"可信软件基础研究"重大研究计划的立项背景、总体科学目标、总体布局、实施思路及总体完成情况,并从建设可信软件开发资源共享与服务平台、设立"智能化软件可信的基础理论与方法"重大研究计划、对长期而艰难的课题实施面上项目滚动申报和资助方式等方面概述了在该领域下一步发展的建议。
|
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《中国科学基金》浏览原始摘要信息 |
| 点击此处可从《中国科学基金》下载免费的PDF全文 |
|