编辑: 雷昨昀 | 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)基于模........