"可信软件基础研究"重大研究计划结题综述

摘要：

本文介绍了"可信软件基础研究"重大研究计划的立项背景、总体科学目标、总体布局、实施思路及总体完成情况, 并从建设可信软件开发资源共享与服务平台、设立"智能化软件可信的基础理论与方法"重大研究计划、对长期而艰难的课题实施面上项目滚动申报和资助方式等方面概述了在该领域下一步发展的建议.

关键词：重大研究计划、可信软件、综述

所属期刊栏目：32

分类号：TP311;G250;G647

在线出版日期：2018-09-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：291-296