邵維忠
邵維忠
北京大學教授、博士生導師。主要研究領域:軟體工程、面向對象方法、軟體復用與構件技術等。作為課題負責人或主要參加人承擔過多項科技攻關項目,如:“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
2003
邵維忠 蔣嚴冰 麻志毅 . UML現存的問題和發展道路. 計算機研究與發展, 2003, 40 (04): 509-516
2002
鍾林輝 謝冰 邵維忠 . 擴充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
邵維忠 梅宏 . 統一建模語言UML述評. 計算機研究與發展, 1999, 36 (04): 385-394
1998
鄭國梁 邵維忠 . 齊心協力??1997年國際軟體工程會議概況. 計算機科學, 1998, 25 (02): 1-5
1997
宗志東 朱冰 邵維忠 楊芙清 . 軟體過程技術研究. 計算機科學, 1997, 24 (03): 6-11
劉述忠 郭立峰 邵維忠 梅宏 . 青鳥Ⅱ型軟體開發環境中的軟體過程管理系統. 小型微型計算機系統, 1997, 18 (02): 26-31
1996
邵維忠 袁曙濤 楊芙清 . 青鳥Ⅱ型系統面向對象語言CASEC++的設計和實現. 軟體學報, 1996, (01):
1993
章遠陽 楊芙清 邵維忠 . 面向對象系統軟體的分層構造模型. 軟體學報, 1993, 4 (05): 1-6
邵維忠 H.S.Soon . 提問的技巧、演演算法及其應用. 軟體學報, 1993, 4 (06): 7-15
張世琨 邵維忠 . 可重用軟體對象定位和理解的認識工具. 計算機科學, 1993, 20 (06): 34-41
1991
Paul Bourret Patrice Cros 邵維忠 . 一個確定型的操作系統模型. 計算機科學, 1981, (05):