北京大學(xué)金芝教授應(yīng)邀來(lái)北理工作學(xué)術(shù)報(bào)告
發(fā)布日期:2010-12-30 閱讀次數(shù):

日前,在研究生樓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))
相關(guān)新聞
-
【理論學(xué)習(xí)】習(xí)近平:發(fā)揮比較優(yōu)勢(shì) 堅(jiān)持穩(wěn)中求進(jìn) 推動(dòng)我國(guó)未來(lái)產(chǎn)業(yè)發(fā)展不...
-
中國(guó)共產(chǎn)黨北京理工大學(xué)第十六次黨員代表大會(huì)專(zhuān)題
-
北理工召開(kāi)落實(shí)學(xué)校第十六次黨代會(huì)精神暨推進(jìn)“十五五”事業(yè)發(fā)展規(guī)劃編制工...
-
北理工舉辦第三屆中國(guó)高校教師發(fā)展研討會(huì)暨全國(guó)高校教師發(fā)展聯(lián)盟工作推進(jìn)會(huì)
-
北理工舉行2026年外語(yǔ)類(lèi)保送生招生考試
-
北理工舉行理工華創(chuàng)獎(jiǎng)學(xué)金捐贈(zèng)暨首屆獎(jiǎng)學(xué)金頒獎(jiǎng)儀式
- 北京理工大學(xué)論壇、講壇、講座、年會(huì)、 報(bào)告會(huì)、研討會(huì)審批流程
- 北京理工大學(xué)形象識(shí)別系統(tǒng)使用流程
- 北京理工大學(xué)校園展覽展示活動(dòng)審批流程
- 北京理工大學(xué)新聞?lì)愋畔l(fā)布保密審查工作流程
- 北京理工大學(xué)對(duì)外宣傳相關(guān)事項(xiàng)審批流程
- 北京理工大學(xué)校園網(wǎng)站建設(shè)(關(guān)停)備案工作流程
- 北京理工大學(xué)校園新媒體公共賬號(hào)開(kāi)設(shè)(注銷(xiāo))備案工作流程
- 北京理工大學(xué)文博中心場(chǎng)地使用申請(qǐng)流程
- 北京理工大學(xué)視頻媒體資源復(fù)制申請(qǐng)流程