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
相關文章
- 2012年國家自然科學基金中標專案：雲端計算相關方向
- 2018年國家自然科學基金各類專案，資助率都有多少？
- 軟體工程國家標準軟體工程
- 美國國家科學基金會：2018年科學與工程指標報告指標
- 國內專案中可以採用的軟體工程手段 (轉)軟體工程
- 國內專案管理中可以採用的軟體工程手段（轉）專案管理軟體工程
- 國內軟體工程專案的外包管理分析軟體工程
- 美國國家科學委員會：2020年科學與工程指標指標
- 美國國家科學基金會：2020年全球科學與工程指標報告 中國科技實力迅速提升指標
- 國內軟體工程專案的外包管理分析（轉）軟體工程
- 軟體工程_專案需求分析軟體工程
- 大資料國家工程專案001號主資料國標平臺與工具大資料
- 國家藝術基金扶持專案——閩劇《黃勉齋》福州首演
- 美國國家科學委員會：2022年科學與工程指標報告指標
- 軟體工程的實踐專案課程的自我目標軟體工程
- 【Python資料採集】國家自然科學基金大資料知識管理服務門戶資料採集Python大資料
- 專案管理與軟體工程(轉)專案管理軟體工程
- 20100420專案管理沙龍專題：軟體工程在軟體專案中的位置專案管理軟體工程
- 青島相關公司來我院招聘軟體專業的相關學生
- 淺談國外工程專案的投標工作（轉）
- 越做越複雜的軟體工程專案軟體工程
- 軟體工程專案之攝影App軟體工程APP
- 信管知識梳理（三）軟體工程相關知識軟體工程
- 軟體工程實踐專案學習與執行日誌軟體工程
- Eclipse中專案Maven相關配置EclipseMaven
- 軟體專案管理在小軟體專案中的應用專案管理
- 軟體工程專案管理的任務（轉）軟體工程專案管理
- 專案管理系列文章——關於軟體工程在軟體整個生命週期的位置專案管理軟體工程
- 中國軟體工程標準 (轉)軟體工程
- 北航2012年軟體工程碩士自主招生簡章軟體工程
- 國內外專案管理軟體之比較專案管理
- 國內軟體專案的典型歷程
- 企業業務軟體工程專案和商業軟體產品專案上專案需求管理的不同（轉）軟體工程
- 軟體工程學習軟體工程
- 軟體工程專案之攝影App（總結）軟體工程APP
- 軟體工程—思考專案開發那些事（一）軟體工程
- 專案內容相關
- 軟體相關技術及其在國內的應用 (轉)