北京大學教授、博士生導師。主要研究領域：軟體工程、面向對象方法、軟體復用與構件技術等。作為課題負責人或主要參加人承擔過多項科技攻關項目，如：“DJ-240系列機XCY語言編譯系統”、“DJS-200/XT2作業系統”、“軟體結構、軟體工具的研究及DJS200/XT2的研製”、“大型軟體開發環境青鳥系統”等。並多次獲得電子工業部、國家教委、國家科委等獎項，並獲得國家科學技術進步二等獎。主要著作：《面向對象的分析與設計》、《面向對象技術》。主要譯著：《面向對象的分析》、《UML用戶指南》。
基本介紹
- 中文名：邵維忠
- 職業：教授
- 畢業院校：北京大學數學力學系
- 職務：中國計算機學會理事等
- 主要研究領域：軟體工程、面向對象方法等
- 主要著作：《面向對象的分析與設計》
- 主要譯著：《面向對象的分析》
- 所獲獎項：國家科學技術進步二等獎
生平經歷,學術成就,
生平經歷
北京大學信息科學技術學院教授、博士生導師，中國計算機學會理事。
1970年畢業於北京大學數學力學系，1979—1983年在計算機科學技術系任教並攻讀碩士學位。
早期主要從事作業系統和軟體工程領域的教學、科研與開發。
1987—1989年在新加坡國立大學參加科技合作。回國後在導師楊芙清院士主持的國家“八五”、“九五”重點科技攻關課題“大型軟體開發環境青鳥系統”和“軟體工程環境工業化生產技術及系統”中擔任主要技術負責人。
自1991年起注重於面向對象建模方法的研究，並開設了研究生課程和本科生課程。組織研製了“青鳥面向對象建模工具集”，並指導其新版本開發。寫作和翻譯了多部學術著作。
最近幾年在面向對象技術、軟體復用與構件技術、中間件技術等領域承擔了多項國家高技術研究發展計畫（863）項目、國家重大基礎研究(973)項目和國家自然科學基金項目。曾獲國家科技進步二等獎及國家部委級獎勵多項
學術成就
何嘯 麻志毅 邵維忠 . 一種面向圖形化建模語言表示法的元模型. 軟體學報, 2008, 19 (08): 1867-1880
馬浩海 謝冰 麻志毅 張能斌 邵維忠 . PKUMoDEL:模型驅動的開發和語言家族支持環境. 計算機研究與發展, 2007, 44 (04): 686-692
劉輝 麻志毅 邵維忠 . 模型轉換中特性保持的描述與驗證. 軟體學報, 2007, 18 (10): 2369-2379
2004
馬浩海 邵維忠 麻志毅 . UML 2.0述評. 計算機科學, 2004, 31 (07): 1-5
2003
邵維忠 蔣嚴冰 麻志毅 . UML現存的問題和發展道路. 計算機研究與發展, 2003, 40 (04): 509-516
2002
張文娟 邵維忠 趙俊峰 麻志毅 . 面向對象軟體開發工具集中類庫和模型庫的研究與實現. 計算機工程, 2002, 28 (03): 10-12
鐘林輝 謝冰 邵維忠 . 擴充CDL支持基於構件的系統組裝與演化. 計算機研究與發展, 2002, 39 (10): 1361-1365
邵維忠 劉昕 . 可視化編程環境下人機界面的面向對象設計. 軟體學報, 2002, 13 (08): 1494-1499
孟祥文 邵維忠 . 設計模式特化和模式庫組織. 計算機工程, 2002, 28 (05): 35-38
2000
鐘林輝 謝冰 邵維忠 . 青鳥軟體配置管理系統JBCM及相關工具. 計算機工程, 2000, 26 (11): 82-84
1999
陳小群 邵維忠 梅宏楊芙清 . 以項目為中心的面向對象復用支持. 軟體學報, 1999, 10 (03): 283-287
楊燕燕 梅宏 陳海文 邵維忠 . 數據倉庫技術和可復用構件庫系統. 計算機科學, 1999, 26 (05): 56-61
邵維忠 梅宏 . 統一建模語言UML述評. 計算機研究與發展, 1999, 36 (04): 385-394
1998
鄭國梁 邵維忠 . 齊心協力??1997年國際軟體工程會議概況. 計算機科學, 1998, 25 (02): 1-5
1997
宗志東 朱冰 邵維忠 楊芙清 . 軟體過程技術研究. 計算機科學, 1997, 24 (03): 6-11
1996
邵維忠 袁曙濤 楊芙清 . 青鳥Ⅱ型系統面向對象語言CASEC++的設計和實現. 軟體學報, 1996, (01):
1993
章遠陽 楊芙清 邵維忠 . 面向對象系統軟體的分層構造模型. 軟體學報, 1993, 4 (05): 1-6
邵維忠 H.S.Soon . 提問的技巧、算法及其套用. 軟體學報, 1993, 4 (06): 7-15
張世琨 邵維忠 . 可重用軟體對象定位和理解的認識工具. 計算機科學, 1993, 20 (06): 34-41
1991
徐家福 楊芙清 錢家驊 朱三元 徐仁佐 邵維忠 鄭紅蘭 . 系統設計:研究與實踐之新進展——第十三屆國際軟體工程會議參加記. 計算機科學, 1991, (05): 1981
Paul Bourret Patrice Cros 邵維忠 . 一個確定型的作業系統模型. 計算機科學, 1981, (05):
