2012年国家自然科学基金中标项目：软件工程相关方向

项目批准号/ 申请代码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