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 |
