2013 国家自然科学基金中标项目: 软件工程
| 项目 | 金额 | 单位 | 负责人 |
| 基于本体进化的自演化应用服务系统构造研究 | 76万 | 上海交通大学 | 蔡鸿明 |
| 面向高可用云服务的虚拟资源敏捷管理技术研究 | 45万 | 广西大学 | 陈宁江 |
| 基于元模型的经验方式统一建模语言模型转换规则产生机制研究 | 45万 | 海南大学 | 段玉聪 |
| 云环境中容错软件结构模型设计方法 | 23万 | 华东理工大学 | 范贵生 |
| 面向软件 络模型的复杂软件系统测试框架和技术研究 | 73万 | 南京大学 | 顾庆 |
| 基于实时演算的复杂嵌入式系统实时性能分析方法研究 | 27万 | 东北大学 | 关楠 |
| 嵌入式系统的低能耗软件设计方法与技术研究 | 300万 | 四川大学 | 郭兵 |
| 按需服务交互的适应性构造及其虚拟化管理的软件机理 | 77万 | 武汉大学 | 何克清 |
| 模型转换静态验证方法研究 | 22万 | 北京科技大学 | 何啸 |
| 面向嵌入式系统绿色需求的编译理论与方法研究 | 78万 | 武汉大学 | 何炎祥 |
| 基于执行反馈的多核软件动态分析方法研究 | 23万 | 大连理工大学 | 胡燕 |
| 面向MPSoC的确定性结构化并行程序设计与分析方法研究 | 23万 | 北京理工大学 | 计卫星 |
| 交编程 络的软件项目影响力传播模型的研究 | 28万 | 北京航空航天大学 | 蒋竞 |
| 基于Agent的智能化元搜索引擎模型及关键技术 | 76万 | 西安电子科技大学 | 李青山 |
| 云计算环境下双模型驱动的面向软件动态演化的建模与分析 | 73万 | 云南大学 | 李彤 |
| 基于控制论的软件系统适应性需求的捕获与建模方法研究 | 28万 | 河南大学 | 刘春 |
| 克隆代码检测及基于进化的有害性预测研究 | 45万 | 内蒙古师范大学 | 刘东升 |
| 混合云中的数据密集型工作流调度策略研究 | 27万 | 华东师范大学 | 刘晓 |
| 面向移动Web的情境化 构软件开发技术研究 | 78万 | 北京大学 | 刘哲 |
| 基于3值抽象的假设-保证式PCTL*组合随机模型检验方法 | 26万 | 泰山学院 | 刘阳 |
| 面向移动互联 的软件测试改进方法研究 | 73万 | 华南理工大学 | 陆璐 |
| 汽车嵌入式系统服务与数据融合中间件研究 | 77万 | 湖南大学 | 罗娟 |
| 无线 络中QoS感知的多粒度服务组合研究 | 23万 | 长沙理工大学 | 罗元盛 |
| 云计算环境下软件可靠性和安全性理论、技术与实证研究 | 300万 | 香港中文大学深圳研究院 | 吕荣聪 |
| 基于组织程序设计范型的研究 | 76万 | 中国人民解放军国防科学技术大学 | 毛新军 |
| 基于演化博弈的服务系统全生命周期性能演进方法 | 23万 | 东北大学 | 那俊 |
| 支持高层决策和按需服务的软件维护技术研究 | 75万 | 复旦大学 | 彭鑫 |
| 基于机器学习的控制型软件安全性度量方法 | 77万 | 西安交通大学 | 宋擒豹 |
| 面向SOA软件的蜕变测试技术研究 | 75万 | 北京科技大学 | 孙昌爱 |
| 大规模异构并行系统软件功耗优化与管理方法研究 | 23万 | 中国人民解放军国防科学技术大学 | 王桂彬 |
| 多核实时软件分析理论与技术研究 | 76万 | 东北大学 | 王义 |
| 组合测试用例的生成及演化技术 | 23万 | 南京邮电大学 | 王子元 |
| 微博事件预测与内容建模方法研究 | 75万 | 中国科学院软件研究所 | 徐罡 |
| 安卓软件行为分析与构建的关键技术研究 | 23万 | 复旦大学 | 杨珉 |
| 基于冗余消除和邻居”辐射”的动态SPM管理方法研究 | 28万 | 华东师范大学 | 杨艳琴 |
| 基于计算与通信协同设计的可组合多安全级别CPS研究 | 23万 | 上海交通大学 | 姚建国 |
| 基于事件曝光模型的云服务测试与调试研究 | 80万 | 中国科学院软件研究所 | 叶春杨 |
| 面向运行性能改善的SaaS软件部署方案自优化方法 | 79万 | 武汉大学 | 应时 |
| 应用模型驱动技术的自主移动机器人软件系统架构的研究 | 25万 | 东北大学 | 张磊 |
| 复杂集成软件系统产品线可变性建模与配置技术研究 | 73万 | 北京航空航天大学 | 张莉 |
| 移动信息物理融合系统的面向方面建模方法 | 79万 | 广东工业大学 | 张立臣 |
| 支持用户交互验证的云服务安全性动态量化评估方法研究 | 25万 | 武汉大学 | 张立强 |
| 基于群体记忆的开源软件缺陷预测、诊断和定位研究 | 73万 | 中国科学院软件研究所 | 张文 |
| 构软件的按需部署关键技术研究 | 25万 | 北京大学 | 张颖 |
| 并行、多平台“云测试”的关键技术研究 | 73万 | 中国科学院软件研究所 | 张震宇 |
| 基于 构代数模型的 构软件体系结构可靠演化方法和技术研究 | 75万 | 北方工业大学 | 赵会群 |
| 基于蜕变关系的数值程序稳定性分析 | 5.25万 | 南京大学 | 陈振宇 |
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！