编辑: 雷昨昀 2019-07-16

(3)领域特定的代码自动生成技术;

(4)模型维护与管理技术. 说明与要求:要求完成相应的软件工具或开发平台原型系统;

获得软件著作权和申请专利,或以开放源码形式发布. 本方向2007年拟支持课题3-4个,每个课题支持强度不超过100万元. 7.网构软件运行支撑技术 主要研究内容(可从以下内容中选择其一申请课题):(1)互联网环境下的开放软件结构与互操作技术;

(2)软件自适应与动态演化技术;

(3)资源调度与性能优化技术;

(4)软件自治愈与自恢复技术;

(5)面向实时嵌入式环境的构件模型和运行支撑. 说明与要求:要求完成相应的软件运行平台原型系统;

获得软件著作权和申请专利,或以开放源码形式发布. 本方向2007年拟支持课题6-7个,每个课题支持强度不超过100万元. 8.服务计算技术 主要研究内容(可从以下内容中选择其一申请课题):(1)服务描述与发现、可信的服务资源组织与管理;

(2)可靠的服务组合方法与验证;

(3)动态的服务组合. 说明与要求:要求完成相应的软件原型系统;

获得软件著作权和申请专利,或以开放源码形式发布. 本方向2007年拟支持课题4-5个,每个课题支持强度不超过100万元. 9.软件可信性综合保障量化评估技术 主要研究内容(可根据以下内容申请课题):(1)可信性综合指标体系、量化评估模型与实现技术、以及相应的系统支撑关键技术. 说明与要求:要求完成相应的软件原型系统;

获得软件著作权和申请专利,或以开放源码形式发布. 本方向2007年拟支持课题3-4个,每个课题支持强度不超过100万元. 10.新型软件测试、验证与管理技术 主要研究内容(可从以下内容中选择其一申请课题):(1)面向构件与服务的软件测试方法;

(2)基于模........

下载(注:源文件不在本站服务器,都将跳转到源网站下载)
备用下载
发帖评论
相关话题
发布一个新话题
大家都在看的话题