馮玉琳檢視原始碼討論檢視歷史
| 馮玉琳 | |
|---|---|
|
中科院軟件研究所所長，博士生導師 | |
| 出生 |
1942年 江蘇姜堰 |
| 國籍 | 中國 |
| 母校 | 武漢大學 |
| 職業 | 教育科研工作者 |
馮玉琳，研究員，1942年出生，江蘇姜堰人。新中國首批工學博士。
現任中科院軟件所軟件工程技術研究中心首席研究員;曾任中國科學院研究生院兼職教授、《軟件學報》主編、國際IFIP TC1中國代表、中國軟件行業協會副會長、中國計算機學會常務理事。
他先後主持多項國家自然科學基金重點項目、國家863高技術重點項目以及國家重點科技攻關項目，在國際國內學術雜誌和會議上發表研究論文90餘篇，學術著作5部。
人物簡介
89-90年在德國Bremen大學參加歐洲ESPRIT計劃項目。在計算機軟件理論和設計方法學的研究中，成績顯著。
1991年被國家教委和國務院學位委員會授予「做出突出貢獻的中國博士學位獲得者」稱號[1]。
1992年調任中國科學院軟件研究所，1994-2002年先後任副所長、所長。
90年代主要致力於組合軟件理論及網絡分布計算理論和方法學的研究。先後主持國家自然科學基金重點項目，國家863重點項目，國家九五重點攻關項目多項，其中「網絡分布軟件支撐平台及石化應用示範工程」
獲2001年中科院科技進步獎一等獎和2002年國家科技進步獎二等獎[2]。
工作經歷
1986-1992年，在中國科技技術大學任教授，博士生導師[3]。
1992年調任中國科學院軟件研究所，曾任中科院軟件研究所所長，中科院軟件所對象技術中心主任研究員。
研究方向
面向對象技術和系統
組合式軟件工程和軟件重用
分布式網絡計算體系結構和系統
交互計算的形式語義理論
系統形式規範和模型驗證
社會兼職
中國科技大學研究生院兼職教授，《軟件學報》主編，國際IFIP TCI（理論）中國代表，中國軟件行業協會副理事長，中國計算機學會常務理事。
成果獲獎
在計算機軟件理論和設計方法學的研究中，成績顯著，曾獲得部（省）級優秀論文獎、優秀教學獎和科技進步獎。1991年被國家教委和國務院學位委員會授予「做出突出貢獻的中國博士學位獲得者」。
從90年代開始，在國內開展組合式軟件體系結構和軟件工程的研究，先後主持或聯合主持國家自然科學基金重點項目「軟件生產自動化中的新理論和」，「組合軟件理論和方法學研究」；國家863高技術重點項目「若干網絡的軟件支撐平台和集成框架」；國家九五科技重點攻關項目「石化應用軟件典型示範工程及產品開發」；一級有關電子商務基礎系統設施的項目等，研究成果受到國內外同行的廣泛重視。
代表論著
馮玉琳研究員在軟件理論、軟件工程技術和方法學方面，已在國際國內學術雜誌和會議上發表研究論文70餘篇。
發表的部分論文
黃濤，馮玉琳，李京，對象模型語義研究 軟件學報，Vol.6, Supplement, 1995
馮玉琳，黃濤，李京，面向對象的軟件構造 軟件學報，Vol.7,No.3,1996
馮玉琳，黃濤，武小鵬，面向對象的組合軟件工程研究 計算機學報，Vol.19,No.3,1996
倪彬，馮玉琳，黃濤，基於T3BDD的動態模型檢查，軟件學報，Vol.10, No.10, 1999
發表著作《程序設計方法學》（1985），《軟件工程——方法、工具和實踐》（1988）和《對象技術導論》（1998）等共5部
代表著作
1.《程序設計方法學》，北京科技出版社，1985年
2.《軟件工程——方法、工具和實現》，中國科技大學出版社，1988年
3.《對象技術導論》，科學出版社，1998年