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

何积丰  单志广  王戟  蒲戈光  房毓菲  刘克  赵瑞珍  张兆田 《中国科学基金》2018,(3)

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

协同创新 培养高端软件人才     

何积丰  姜宁康 《中国大学教学》2014,(10)

传统的软件人才培养偏重于学生实用型技能的培养,缺少面向大系统的架构设计能力、创新能力和综合能力。为解决国家战略性新兴产业对软件研发人才,特别是高端软件人才的巨大需求,我们提出并实践了高端软件人才的协同创新培养模式。  相似文献   

地方高校精品课程建设的探索     

何阅雄  薛德黔  何积丰  王绍仁 《中国成人教育》2008,(11)

本文从分析地方高校精品课程建设和研究的现状以及存在的突出问题入手,探究地方高校精品课程特色化建设之路。提出了“地方高校精品课程建设要走出困境,寻求发展,必须准确定位、建出特色”的思想,并且结合多年精品课程建设经验,阐述了地方高校精品课程建设的措施、内容。  相似文献   

“可信软件基础研究”重大研究计划综述   总被引：57，自引：0，他引：57  

刘克  单志广  王戟  何积丰  张兆田  秦玉文 《中国科学基金》2008,22(3):145-151

国家自然科学基金委员会启动实施了“可信软件基础研究”重大研究计划。本文从该重大研究计划的立项背景和意义,可信软件的研究现状,该重大研究计划的科学目标与核心科学问题,以及预期成果等方面进行了介绍。  相似文献