9月2日上午,，北京大學(xué)高可信軟件技術(shù)教育部重點實驗室副主任金芝教授應(yīng)邀來校在信息樓A306會議室作了題為“基于環(huán)境建模的軟件需求獲取和分析”的學(xué)術(shù)報告,。信息科學(xué)技術(shù)學(xué)院相關(guān)學(xué)科教師和研究生參加了報告會,，報告會由學(xué)院副院長付先平主持,。

報告中,，金芝教授通過側(cè)重介紹開放動態(tài)環(huán)境下,，環(huán)境-軟件系統(tǒng)協(xié)同建模的思想,，介紹通過環(huán)境模型和環(huán)境屬性捕獲軟件需求并構(gòu)建需求模型的方法,。系統(tǒng)地介紹了軟件需求工程的學(xué)科起源和具有代表性的方法,，并展示了其課題組在基于環(huán)境建模的軟件需求工程方面的研究成果。基于環(huán)境建模的需求工程,，通過對軟件將處于的環(huán)境進行建模與分析,，歸結(jié)出軟件系統(tǒng)的行為約束，并通過軟件行為失效可能引起的環(huán)境風(fēng)險的分析,，推演出軟件系統(tǒng)的可信性保障要求,，期望建立以軟件系統(tǒng)和環(huán)境的適配性分析為基礎(chǔ)的軟件可信性需求驗證方法。

金芝教授精彩的報告歷時2個多小時,，引起現(xiàn)場師生濃厚的興趣,。

報告人簡介：金芝，北京大學(xué)教授,，博士生導(dǎo)師,，國家杰出青年基金獲得者，現(xiàn)任北京大學(xué)高可信軟件技術(shù)教育部重點實驗室常務(wù)副主任,。兼任中國計算機學(xué)會常務(wù)理事和學(xué)術(shù)工作委員會主任委員,，擔(dān)任《計算機學(xué)報》副主編、《軟件學(xué)報》執(zhí)行副主編,，JCST,、RE、IJSEKE等期刊編委,。一直從事知識工程,、需求工程和基于知識的軟件工程的研究，先后主持國家基礎(chǔ)研究發(fā)展規(guī)劃（973）課題,、國家863高技術(shù)計劃課題,、國家自然科學(xué)重點基金項目等二十余項，在Kluwer Academic Publishers出版合著英文專著1部,，在國內(nèi)外著名學(xué)術(shù)期刊和會議上發(fā)表論文100多篇,。