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

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

研究領(lǐng)域

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

生平經(jīng)歷

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

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

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

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

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

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

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

合著的書以及論文等

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

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

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

　　2004

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

　　2003

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

　　2002

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

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

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

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

　　2000

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

　　1999

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

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

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

　　1998

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

　　1997

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

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

　　1996

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

　　1993

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

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

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

　　1991

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

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