久久精品国产一区二区电影,久久精品国产亚洲av瑜伽,精品无人区一码卡二卡三,久草热8精品视频在线观看 ,久久99精品久久久久麻豆

北京大學(xué)教授、博士生導(dǎo)師。主要

研究領(lǐng)域

：軟件工程、面向?qū)ο蠓椒?、軟件?fù)用與構(gòu)件技術(shù)等。作為課題負(fù)責(zé)人或主要參加人承擔(dān)過多項科技攻關(guān)項目，如：“DJ-240系列機(jī)XCY語言編譯系統(tǒng)”、“DJS-200/XT2操作系統(tǒng)”、“軟件結(jié)構(gòu)、軟件工具的研究及DJS200/XT2的研制”、“大型軟件開發(fā)環(huán)境青鳥系統(tǒng)”等。并多次獲得電子工業(yè)部、國家教委、國家科委等獎項，并獲得國家科學(xué)技術(shù)進(jìn)步二等獎。主要著作：《面向?qū)ο蟮姆治雠c設(shè)計》、《面向?qū)ο蠹夹g(shù)》。主要譯著：《面向?qū)ο蟮姆治觥贰ⅰ禪ML用戶指南》。

生平經(jīng)歷

　　北京大學(xué)信息科學(xué)技術(shù)學(xué)院教授、博士生導(dǎo)師，中國計算機(jī)學(xué)會理事。

　　1970年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系，1979—1983年在計算機(jī)科學(xué)技術(shù)系任教并攻讀碩士學(xué)位。

　　早期主要從事操作系統(tǒng)和軟件工程領(lǐng)域的教學(xué)、科研與開發(fā)。

　　1987—1989年在新加坡國立大學(xué)參加科技合作?；貒笤趯?dǎo)師楊芙清院士主持的國家“八五”、“九五”重點科技攻關(guān)課題“大型軟件開發(fā)環(huán)境青鳥系統(tǒng)”和“軟件工程環(huán)境工業(yè)化生產(chǎn)技術(shù)及系統(tǒng)”中擔(dān)任主要技術(shù)負(fù)責(zé)人。

　　自1991年起注重于面向?qū)ο蠼７椒ǖ难芯?，并開設(shè)了研究生課程和本科生課程。組織研制了“青鳥面向?qū)ο蠼９ぞ呒?，并指?dǎo)其新版本開發(fā)。寫作和翻譯了多部學(xué)術(shù)著作。

　　最近幾年在面向?qū)ο蠹夹g(shù)、軟件復(fù)用與構(gòu)件技術(shù)、中間件技術(shù)等領(lǐng)域承擔(dān)了多項國家高技術(shù)研究發(fā)展計劃（863）項目、國家重大基礎(chǔ)研究(973)項目和國家自然科學(xué)基金項目。曾獲國家科技進(jìn)步二等獎及國家部委級獎勵多項

　　現(xiàn)任北京大學(xué)軟件研究所副所長。中國計算機(jī)學(xué)會理事。主要研究方向：軟件工程、面向?qū)ο蠹夹g(shù)、軟件工業(yè)化生產(chǎn)技術(shù)。發(fā)表學(xué)術(shù)專著數(shù)篇。曾獲國家科技進(jìn)步二等獎、獲國家部委級獎勵多項。

合著的書以及論文等

　　何嘯 麻志毅 邵維忠 . 一種面向圖形化建模語言表示法的元模型. 軟件學(xué)報, 2008, 19 (08): 1867-1880

　　馬浩海 謝冰 麻志毅 張能斌 邵維忠 . PKUMoDEL:模型驅(qū)動的開發(fā)和語言家族支持環(huán)境. 計算機(jī)研究與發(fā)展, 2007, 44 (04): 686-692

　　劉輝 麻志毅 邵維忠 . 模型轉(zhuǎn)換中特性保持的描述與驗證. 軟件學(xué)報, 2007, 18 (10): 2369-2379

　　2004

　　馬浩海 邵維忠 麻志毅 . UML 2.0述評. 計算機(jī)科學(xué), 2004, 31 (07): 1-5

　　2003

　　邵維忠 蔣嚴(yán)冰 麻志毅 . UML現(xiàn)存的問題和發(fā)展道路. 計算機(jī)研究與發(fā)展, 2003, 40 (04): 509-516

　　2002

　　張文娟 邵維忠 趙俊峰 麻志毅 . 面向?qū)ο筌浖_發(fā)工具集中類庫和模型庫的研究與實現(xiàn). 計算機(jī)工程, 2002, 28 (03): 10-12

　　鐘林輝 謝冰 邵維忠 . 擴(kuò)充CDL支持基于構(gòu)件的系統(tǒng)組裝與演化. 計算機(jī)研究與發(fā)展, 2002, 39 (10): 1361-1365

　　邵維忠 劉昕 . 可視化編程環(huán)境下人機(jī)界面的面向?qū)ο笤O(shè)計. 軟件學(xué)報, 2002, 13 (08): 1494-1499

　　孟祥文 邵維忠 . 設(shè)計模式特化和模式庫組織. 計算機(jī)工程, 2002, 28 (05): 35-38

　　2000

　　鐘林輝 謝冰 邵維忠 . 青鳥軟件配置管理系統(tǒng)JBCM及相關(guān)工具. 計算機(jī)工程, 2000, 26 (11): 82-84

　　1999

　　陳小群 邵維忠梅宏楊芙清 . 以項目為中心的面向?qū)ο髲?fù)用支持. 軟件學(xué)報, 1999, 10 (03): 283-287

　　楊燕燕 梅宏 陳海文 邵維忠 . 數(shù)據(jù)倉庫技術(shù)和可復(fù)用構(gòu)件庫系統(tǒng). 計算機(jī)科學(xué), 1999, 26 (05): 56-61

　　邵維忠 梅宏 . 統(tǒng)一建模語言UML述評. 計算機(jī)研究與發(fā)展, 1999, 36 (04): 385-394

　　1998

　　鄭國梁 邵維忠 . 齊心協(xié)力1997年國際軟件工程會議概況. 計算機(jī)科學(xué), 1998, 25 (02): 1-5

　　1997

　　宗志東 朱冰 邵維忠 楊芙清 . 軟件過程技術(shù)研究. 計算機(jī)科學(xué), 1997, 24 (03): 6-11

　　劉述忠 郭立峰 邵維忠 梅宏 . 青鳥Ⅱ型軟件開發(fā)環(huán)境中的軟件過程管理系統(tǒng). 小型微型計算機(jī)系統(tǒng), 1997, 18 (02): 26-31

　　1996

　　邵維忠 袁曙濤 楊芙清 . 青鳥Ⅱ型系統(tǒng)面向?qū)ο笳Z言CASEC++的設(shè)計和實現(xiàn). 軟件學(xué)報, 1996, (01):

　　1993

　　章遠(yuǎn)陽 楊芙清 邵維忠 . 面向?qū)ο笙到y(tǒng)軟件的分層構(gòu)造模型. 軟件學(xué)報, 1993, 4 (05): 1-6

　　邵維忠 H.S.Soon . 提問的技巧、算法及其應(yīng)用. 軟件學(xué)報, 1993, 4 (06): 7-15

　　張世琨 邵維忠 . 可重用軟件對象定位和理解的認(rèn)識工具. 計算機(jī)科學(xué), 1993, 20 (06): 34-41

　　1991

　　徐家福 楊芙清 錢家驊 朱三元 徐仁佐 邵維忠 鄭紅蘭 . 系統(tǒng)設(shè)計:研究與實踐之新進(jìn)展——第十三屆國際軟件工程會議參加記. 計算機(jī)科學(xué), 1991, (05): 1981

　　Paul Bourret Patrice Cros 邵維忠 . 一個確定型的操作系統(tǒng)模型. 計算機(jī)科學(xué), 1981, (05):