2012年国家自然科学基金中标项目:软件工程相关方向
2012-09-19 14:02
183 查看
项目批准号/ 申请代码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 |
相关文章推荐
- 2012年国家自然科学基金中标项目:云计算相关方向
- 2012年国家自然科学基金中标项目:云计算相关方向
- 2012年国家自然科学基金中标项目:云计算相关方向
- 2012年国家自然科学基金中标项目:云计算相关方向
- 2012 国家自然科学基金中标项目:软件工程相关方向
- 第14周SHH数据结构-【项目1-(3)验证二叉排序树相关算法】
- 软件工程项目迭代周报(一)
- 软件工程项目总结
- react-native学习(RN)--之Window环境下搭建环境配置,以及初始化建立react-native项目,(真机和模拟器运行的相关错误解决办法,android打包报错)
- 清华大学 现代软件工程 结对编程项目 (一)
- 软件工程和项目管理的区别
- 引入library项目相关问题
- android开发相关资源——开发环境资源、开源项目、应用图标等
- 软件工程--谈项目开发
- 相关项目截图展示
- 承接C# mapxtreme arcgis相关开发项目
- 【评分】集美大学软件工程1413班项目管理团队作业4
- IntelliJ IDEA 学习笔记 - 项目相关的几个重要概念介绍
- CocosEditor-java中的android项目传数据给Java项目(NodeReader相关)