生平經(jīng)歷
北京大學信息科學技術(shù)學院教授、博士生導師,中國計算機學會理事。
1970年畢業(yè)于北京大學數(shù)學力學系,1979—1983年在計算機科學技術(shù)系任教并攻讀碩士學位。
早期主要從事操作系統(tǒng)和軟件工程領(lǐng)域的教學、科研與開發(fā)。
1987—1989年在新加坡國立大學參加科技合作;貒笤趯煑钴角逶菏恐鞒值膰摇鞍宋濉、“九五”重點科技攻關(guān)課題“大型軟件開發(fā)環(huán)境青鳥系統(tǒng)”和“軟件工程環(huán)境工業(yè)化生產(chǎn)技術(shù)及系統(tǒng)”中擔任主要技術(shù)負責人。
自1991年起注重于面向?qū)ο蠼7椒ǖ难芯,并開設(shè)了研究生課程和本科生課程。組織研制了“青鳥面向?qū)ο蠼9ぞ呒,并指導其新版本開發(fā)。寫作和翻譯了多部學術(shù)著作。
最近幾年在面向?qū)ο蠹夹g(shù)、軟件復用與構(gòu)件技術(shù)、中間件技術(shù)等領(lǐng)域承擔了多項國家高技術(shù)研究發(fā)展計劃(863)項目、國家重大基礎(chǔ)研究(973)項目和國家自然科學基金項目。曾獲國家科技進步二等獎及國家部委級獎勵多項
現(xiàn)任北京大學軟件研究所副所長。中國計算機學會理事。主要研究方向:軟件工程、面向?qū)ο蠹夹g(shù)、軟件工業(yè)化生產(chǎn)技術(shù)。發(fā)表學術(shù)專著數(shù)篇。曾獲國家科技進步二等獎、獲國家部委級獎勵多項。
合著的書以及論文等
何嘯 麻志毅 邵維忠 . 一種面向圖形化建模語言表示法的元模型. 軟件學報, 2008, 19 (08): 1867-1880
馬浩海 謝冰 麻志毅 張能斌 邵維忠 . PKUMoDEL:模型驅(qū)動的開發(fā)和語言家族支持環(huán)境. 計算機研究與發(fā)展, 2007, 44 (04): 686-692
劉輝 麻志毅 邵維忠 . 模型轉(zhuǎn)換中特性保持的描述與驗證. 軟件學報, 2007, 18 (10): 2369-2379
2004
馬浩海 邵維忠 麻志毅 . UML 2.0述評. 計算機科學, 2004, 31 (07): 1-5
2003
邵維忠 蔣嚴冰 麻志毅 . UML現(xiàn)存的問題和發(fā)展道路. 計算機研究與發(fā)展, 2003, 40 (04): 509-516
2002
張文娟 邵維忠 趙俊峰 麻志毅 . 面向?qū)ο筌浖_發(fā)工具集中類庫和模型庫的研究與實現(xiàn). 計算機工程, 2002, 28 (03): 10-12
鐘林輝 謝冰 邵維忠 . 擴充CDL支持基于構(gòu)件的系統(tǒng)組裝與演化. 計算機研究與發(fā)展, 2002, 39 (10): 1361-1365
邵維忠 劉昕 . 可視化編程環(huán)境下人機界面的面向?qū)ο笤O(shè)計. 軟件學報, 2002, 13 (08): 1494-1499
孟祥文 邵維忠 . 設(shè)計模式特化和模式庫組織. 計算機工程, 2002, 28 (05): 35-38
2000
鐘林輝 謝冰 邵維忠 . 青鳥軟件配置管理系統(tǒng)JBCM及相關(guān)工具. 計算機工程, 2000, 26 (11): 82-84
1999
陳小群 邵維忠梅宏楊芙清 . 以項目為中心的面向?qū)ο髲陀弥С? 軟件學報, 1999, 10 (03): 283-287
楊燕燕 梅宏 陳海文 邵維忠 . 數(shù)據(jù)倉庫技術(shù)和可復用構(gòu)件庫系統(tǒng). 計算機科學, 1999, 26 (05): 56-61
邵維忠 梅宏 . 統(tǒng)一建模語言UML述評. 計算機研究與發(fā)展, 1999, 36 (04): 385-394
1998
鄭國梁 邵維忠 . 齊心協(xié)力1997年國際軟件工程會議概況. 計算機科學, 1998, 25 (02): 1-5
1997
宗志東 朱冰 邵維忠 楊芙清 . 軟件過程技術(shù)研究. 計算機科學, 1997, 24 (03): 6-11
劉述忠 郭立峰 邵維忠 梅宏 . 青鳥Ⅱ型軟件開發(fā)環(huán)境中的軟件過程管理系統(tǒng). 小型微型計算機系統(tǒng), 1997, 18 (02): 26-31
1996
邵維忠 袁曙濤 楊芙清 . 青鳥Ⅱ型系統(tǒng)面向?qū)ο笳Z言CASEC++的設(shè)計和實現(xiàn). 軟件學報, 1996, (01):
1993
章遠陽 楊芙清 邵維忠 . 面向?qū)ο笙到y(tǒng)軟件的分層構(gòu)造模型. 軟件學報, 1993, 4 (05): 1-6
邵維忠 H.S.Soon . 提問的技巧、算法及其應(yīng)用. 軟件學報, 1993, 4 (06): 7-15
張世琨 邵維忠 . 可重用軟件對象定位和理解的認識工具. 計算機科學, 1993, 20 (06): 34-41
1991
徐家福 楊芙清 錢家驊 朱三元 徐仁佐 邵維忠 鄭紅蘭 . 系統(tǒng)設(shè)計:研究與實踐之新進展——第十三屆國際軟件工程會議參加記. 計算機科學, 1991, (05): 1981
Paul Bourret Patrice Cros 邵維忠 . 一個確定型的操作系統(tǒng)模型. 計算機科學, 1981, (05):