邵維忠

邵維忠

邵維忠是北京大學信息科學技術學院教授、博士生導師,中國計算機學會理事。1970年畢業於北京大學數學力學系,1979—1983年在計算機科學技術系任教並攻讀碩士學位。

基本信息

簡介

早期主要從事作業系統和軟體工程領域的教學、科研與開發。1987—1989年在新加坡國立大學參加科技合作。回國後在導師楊芙清院士主持的國家“八五”、“九五”重點科技攻關課題“大型軟體開發環境青鳥系統”和“軟體工程環境工業化生產技術及系統”中擔任主要技術負責人。自1991年起注重於面向對象建模方法的研究,並開設了研究生課程和本科生課程。組織研製了“青鳥面向對象建模工具集”,並指導其新版本開發。寫作和翻譯了多部學術著作。最近幾年在面向對象技術、軟體復用與構件技術、中間件技術等領域承擔了多項國家高技術研究發展計畫(863)項目、國家重大基礎研究(973)項目和國家自然科學基金項目。曾獲國家科技進步二等獎及國家部委級獎勵多項現任北京大學軟體研究所副所長。中國計算機學會理事。主要研究方向:軟體工程、面向對象技術、軟體工業化生產技術。發表學術專著數篇。曾獲國家科技進步二等獎、獲國家部委級獎勵多項。

合著書及論文

23何嘯麻志毅邵維忠.一種面向圖形化建模語言表示法的元模型.軟體學報,2008,19(08):1867-188022劉輝麻志毅邵維忠.元建模技術研究進展.軟體學報,2008,19(06):1317-13272007
21馬浩海謝冰麻志毅張能斌邵維忠.PKUMoDEL:模型驅動的開發和語言家族支持環境.計算機研究與發展,2007,44(04):686-69220劉輝麻志毅邵維忠.模型轉換中特性保持的描述與驗證.軟體學報,2007,18(10):2369-23792004
19馬浩海邵維忠麻志毅.UML2.0述評.計算機科學,2004,31(07):1-52003
18邵維忠蔣嚴冰麻志毅.UML現存的問題和發展道路.計算機研究與發展,2003,40(04):509-5162002
17張文娟邵維忠趙俊峰麻志毅.面向對象軟體開發工具集中類庫和模型庫的研究與實現.計算機工程,2002,28(03):10-1216鍾林輝謝冰邵維忠.擴充CDL支持基於構件的系統組裝與演化.計算機研究與發展,2002,39(10):1361-136515邵維忠劉昕.可視化編程環境下人機界面的面向對象設計.軟體學報,2002,13(08):1494-149914孟祥文邵維忠.設計模式特化和模式庫組織.計算機工程,2002,28(05):35-382000
13鍾林輝謝冰邵維忠.青鳥軟體配置管理系統JBCM及相關工具.計算機工程,2000,26(11):82-841999
12陳小群邵維忠梅宏楊芙清.以項目為中心的面向對象復用支持.軟體學報,1999,10(03):283-28711楊燕燕梅宏陳海文邵維忠.數據倉庫技術和可復用構件庫系統.計算機科學,1999,26(05):56-6110邵維忠梅宏.統一建模語言UML述評.計算機研究與發展,1999,36(04):385-3941998
9鄭國梁邵維忠.齊心協力??1997年國際軟體工程會議概況.計算機科學,1998,25(02):1-51997
8宗志東朱冰邵維忠楊芙清.軟體過程技術研究.計算機科學,1997,24(03):6-117劉述忠郭立峰邵維忠梅宏.青鳥Ⅱ型軟體開發環境中的軟體過程管理系統.小型微型計算機系統,1997,18(02):26-311996
6邵維忠袁曙濤楊芙清.青鳥Ⅱ型系統面向對象語言CASEC++的設計和實現.軟體學報,1996,(01):
1993
5章遠陽楊芙清邵維忠.面向對象系統軟體的分層構造模型.軟體學報,1993,4(05):1-64邵維忠H.S.Soon.提問的技巧、算法及其套用.軟體學報,1993,4(06):7-153張世琨邵維忠.可重用軟體對象定位和理解的認識工具.計算機科學,1993,20(06):34-411991
2徐家福楊芙清錢家驊朱三元徐仁佐邵維忠鄭紅蘭.系統設計:研究與實踐之新進展——第十三屆國際軟體工程會議參加記.計算機科學,1991,(05):
1981
1PaulBourretPatriceCros邵維忠.一個確定型的作業系統模型.計算機科學,1981,(05):

相關詞條

相關搜尋

熱門詞條

聯絡我們