永利赌场招聘-澳门永利赌场问问q479185700刷屏-永利高10

　　日前，在研究生樓203室，北京大學(xué)高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室副主任金芝教授來(lái)我校作題為“基于環(huán)境建模的軟件需求工程”的學(xué)術(shù)報(bào)告。計(jì)算機(jī)學(xué)院院長(zhǎng)黃河燕教授、副書(shū)記趙滿(mǎn)以及近60名師生參加了此次報(bào)告會(huì)。

本次報(bào)告由計(jì)算機(jī)學(xué)院院長(zhǎng)黃河燕教授主持。

　　報(bào)告中，金芝教授系統(tǒng)地介紹了軟件需求工程的學(xué)科起源和具有代表性的方法，并展示了其課題組在基于環(huán)境建模的軟件需求工程方面的研究成果?；诃h(huán)境建模的需求工程，通過(guò)對(duì)軟件將處于的環(huán)境進(jìn)行建模與分析，歸結(jié)出軟件系統(tǒng)的行為約束，并通過(guò)軟件行為失效可能引起的環(huán)境風(fēng)險(xiǎn)的分析，推演出軟件系統(tǒng)的可信性保障要求，期望建立以軟件系統(tǒng)和環(huán)境的適配性分析為基礎(chǔ)的軟件可信性需求驗(yàn)證方法。

　　金芝教授精彩的報(bào)告歷時(shí)2個(gè)小時(shí)，引起現(xiàn)場(chǎng)師生濃厚的興趣?；?dòng)環(huán)節(jié)中，同學(xué)們就自身存在的疑惑提出了若干問(wèn)題，同時(shí)，得到了金芝教授十分深入、細(xì)致的解答。

　　報(bào)告后，作為國(guó)內(nèi)計(jì)算機(jī)領(lǐng)域兩個(gè)重要的學(xué)術(shù)期刊《軟件學(xué)報(bào)》執(zhí)行副主編和《計(jì)算機(jī)學(xué)報(bào)》副主編，金芝教授還就同學(xué)們關(guān)心的學(xué)術(shù)論文寫(xiě)作方面介紹了其寶貴的經(jīng)驗(yàn)。

　　報(bào)告人 簡(jiǎn)介：

　　金芝，北京大學(xué)教授，博士生導(dǎo)師，國(guó)家杰出青年基金獲得者。北京大學(xué)高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室副主任，中國(guó)科學(xué)院管理、決策與信息系統(tǒng)重點(diǎn)實(shí)驗(yàn)室副主任。中國(guó)計(jì)算機(jī)學(xué)會(huì)常務(wù)理事，《軟件學(xué)報(bào)》執(zhí)行副主編，《計(jì)算機(jī)學(xué)報(bào)》副主編，《Journal of Computer Science and Technology》編委。從事知識(shí)工程、基于知識(shí)的軟件工程和軟件需求工程的研究。先后主持、協(xié)助主持或參加包括國(guó)家八五、九五科技重點(diǎn)攻關(guān)項(xiàng)目、國(guó)家基礎(chǔ)研究發(fā)展規(guī)劃（973）項(xiàng)目、國(guó)家863高技術(shù)計(jì)劃項(xiàng)目、國(guó)家自然科學(xué)重點(diǎn)基金項(xiàng)目、國(guó)家自然科學(xué)基金項(xiàng)目、以及中法和中英合作項(xiàng)目等二十余項(xiàng)。出版合著英文專(zhuān)著1部，合著中文編著1部，譯著2部，在國(guó)內(nèi)外學(xué)術(shù)期刊和會(huì)議上發(fā)表論文100多篇。曾獲國(guó)防科工委科技進(jìn)步二等獎(jiǎng)，中創(chuàng)軟件人才獎(jiǎng)，中國(guó)科學(xué)院盈科優(yōu)秀青年人才獎(jiǎng)，中國(guó)科學(xué)院巾幗建功先進(jìn)個(gè)人，中國(guó)十大IT科研女性獎(jiǎng)。

（審核：趙滿(mǎn)）