| 项目批准 / 申请代码1 |
项目名称 | 项目负责人 | 依托单位 | 批准 金额 |
项目起止年月 |
| 61281220273/ F020202 |
中美计算机软件研讨会 | 周毓明 | 南京大学 | 1.4 | 2012-03至2012-12 |
| 61272082/ F020202 |
知识驱动的大型软件系统的软件维护关键技术及框架研究 | 周毓明 | 南京大学 | 81 | 2013-01至2016-12 |
| 61262015/ F020202 |
演化信息驱动的软件质量改善研究 | 钟林辉 | 江西师范大学 | 11 | 2013-01至2016-12 |
| 61262008/ F020202 |
基于ASP的并发系统CSP模型验证研究 | 赵岭忠 | 桂林电子科技大学 | 46 | 2013-01至2016-12 |
| 61272102/ F020202 |
基于机器学习的软件调试技术研究 | 赵建军 | 上海交通大学 | 83 | 2013-01至2016-12 |
| 61272163/ F020202 |
面向特征的协同式需求建模和复用技术研究 | 赵海燕 | 北京大学 | 80 | 2013-01至2016-12 |
| 61272172/ F020202 |
上下文感知的Web服务自适应计算模型研究 | 张秀国 | 大连海事大学 | 82 | 2013-01至2016-12 |
| 61272162/ F020202 |
软件服务化环境中基于间接交互的协同式需求建模方法研究 | 张伟 | 北京大学 | 81 | 2013-01至2016-12 |
| 61202097/ F020202 |
动态演化环境下软件失效的在线预测关键技术研究 | 张鹏程 | 河海大学 | 24 | 2013-01至2015-12 |
| 61272089/ F020202 |
软件崩溃的分析，聚类和调试技术研究 | 张洪宇 | 清华大学 | 81 | 2013-01至2016-12 |
| 61272113/ F020202 |
面向服务软件体系结构设计阶段异常处理的建模与验证 | 应时 | 武汉大学 | 20 | 2013-01至2013-12 |
| 61202070/ F020202 |
Web环境下基于业务单元的过程集成技术研究 | 叶蔚 | 北京大学 | 25 | 2013-01至2015-12 |
| 61272080/ F020202 |
用户需求驱动的Web服务测试关键技术研究 | 许蕾 | 南京大学 | 80 | 2013-01至2016-12 |
| 61262001/ F020202 |
络环境下规则驱动的软件体系结构动态演化冲突检测与消解 | 徐洪珍 | 东华理工大学 | 43 | 2013-01至2016-12 |
| 61202071/ F020202 |
对象模型上交互式修复生成技术研究 | 熊英飞 | 北京大学 | 23 | 2013-01至2015-12 |
| 61228203/ F020202 |
基于人机协作的软件测试与调试 | 谢涛 | 北京大学 | 20 | 2013-01至2014-12 |
| 61202101/ F020202 |
规则驱动的自适应多代理系统研究 | 肖亮 | 湖北工业大学 | 26 | 2013-01至2015-12 |
| 61272187/ F020202 |
服务 络的大规模个性化构建与定制方法 | 王忠杰 | 哈尔滨工业大学 | 80 | 2013-01至2016-12 |
| 61202092/ F020202 |
面向理解的软件错误定位方法：状态转移概率推理建模 | 王甜甜 | 哈尔滨工业大学 | 24 | 2013-01至2015-12 |
| 61272166/ F020202 |
通用Java程序到实时Java程序的对象自动分类和转化方法研究 | 史晓华 | 北京航空航天大学 | 81 | 2013-01至2016-12 |
| 61272125/ F020202 |
面向应用系统的基于柔性、信任和协同机制的检测与防护软件模型 | 申利民 | 燕山大学 | 78 | 2013-01至2016-12 |
| 61262010/ F020202 |
基于SXM模型的Web软件测试理论与方法 | 钱忠胜 | 江西财经大学 | 45 | 2013-01至2016-12 |
| 61281220027/ F020202 |
中美计算机软件研讨会 | 彭鑫 | 复旦大学 | 1.4 | 2012-03至2012-09 |
| 61202048/ F020202 |
基于软件 络的回归测试用例排序方法研究 | 潘伟丰 | 浙江工商大学 | 21 | 2013-01至2015-12 |
| 61272079/ F020202 |
软件测试的演化搜索方法 | 聂长海 | 南京大学 | 75 | 2013-01至2016-12 |
| 61272159/ F020202 |
基于PaaS的云应用软件建模及模型转换技术 | 麻志毅 | 北京大学 | 80 | 2013-01至2016-12 |
| 61262017/ F020202 |
Petri 模型驱动的SaaS型云测试方法及支撑平台研究 | 刘靖 | 内蒙古大学 | 43 | 2013-01至2016-12 |
| 61272169/ F020202 |
软件重构对回归测试用例的影响及其修复方法研究 | 刘辉 | 北京理工大学 | 80 | 2013-01至2016-12 |
| 61262004/ F020202 |
基于问题框架的需求和领域模型的变换及验证 | 李智 | 广西师范大学 | 43 | 2013-01至2016-12 |
| 61262024/ F020202 |
软件演化过程的行为验证研究 | 李彤 | 云南大学 | 43 | 2013-01至2016-12 |
| 61202077/ F020202 |
支撑统计故障定位的测试技术研究 | 姜博 | 北京航空航天大学 | 23 | 2013-01至2015-12 |
| 61272108/ F020202 |
软件异常的双路传播模型及其构建与分析方法 | 贾向阳 | 武汉大学 | 20 | 2013-01至2013-12 |
| 61272083/ F020202 |
云计算演化环境中的隐私建模与检测方法研究 | 黄志球 | 南京航空航天大学 | 80 | 2013-01至2016-12 |
| 61202032/ F020202 |
基于反模式和缺陷修复模式的软件缺陷结构影响因素分析 | 何璐璐 | 武汉大学 | 23 | 2013-01至2015-12 |
| 61272115/ F020202 |
基于目标模型的横切关注点识别及语义连接点定义方法研究 | 何成万 | 武汉工程大学 | 80 | 2013-01至2016-12 |
| 61272157/ F020202 |
面向多维度的测试用例化简技术研究 | 郝丹 | 北京大学 | 80 | 2013-01至2016-12 |
| 61202050/ F020202 |
基于可重用演化构件在线融合的自适应软件元演化研究 | 桂宁 | 浙江理工大学 | 24 | 2013-01至2015-12 |
| 61202039/ F020202 |
基于规则引擎的临床诊疗流程建模技术研究 | 褚华 | 西安电子科技大学 | 24 | 2013-01至2015-12 |
| 61272007/ F020202 |
基于场景的构件行为建模和组合研究 | 陈中育 | 浙江师范大学 | 61 | 2013-01至2016-12 |
| 61211130035/ F020202 |
数值程序稳定性分析 | 陈振宇 | 南京大学 | 2.03 | 2012-03至2012-12 |
| 61210306018/ F020202 |
软件工程教育研究大会 | 陈振宇 | 南京大学 | 3 | 2012-04至2012-06 |
| 61202104/ F020202 |
基于环境的信息物理系统时空需求建模方法研究 | 陈小红 | 华东师范大学 | 24 | 2013-01至2015-12 |
| 61202006/ F020202 |
软件测试和调试过程中的测试用例演化技术研究 | 陈翔 | 南通大学 | 24 | 2013-01至2015-12 |
| 61202103/ F020202 |
基于高阶规约定向测试的异构系统验证研究 | 陈铭松 | 华东师范大学 | 25 | 2013-01至2015-12 |
| 61202110/ F020202 |
基于数据挖掘的第三方构件安全性测试方法研究 | 陈锦富 | 江苏大学 | 23 | 2013-01至2015-12 |
| 61272154/ F020202 |
分布并发透明的虚拟计算环境程序设计 | 曹东刚 | 北京大学 | 80 | 2013-01至2016-12 |
http://blog.sciencenet.cn/blog-72577-604936.html 文章知识点与官方知识档案匹配，可进一步学习相关知识云原生入门技能树首页概览8691 人正在系统学习中
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！