9月2日上午,，北京大學(xué)高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室副主任金芝教授應(yīng)邀來(lái)校在信息樓A306會(huì)議室作了題為“基于環(huán)境建模的軟件需求獲取和分析”的學(xué)術(shù)報(bào)告,。信息科學(xué)技術(shù)學(xué)院相關(guān)學(xué)科教師和研究生參加了報(bào)告會(huì),，報(bào)告會(huì)由學(xué)院副院長(zhǎng)付先平主持,。
報(bào)告中,，金芝教授通過(guò)側(cè)重介紹開(kāi)放動(dòng)態(tài)環(huán)境下,，環(huán)境-軟件系統(tǒng)協(xié)同建模的思想,，介紹通過(guò)環(huán)境模型和環(huán)境屬性捕獲軟件需求并構(gòu)建需求模型的方法,。系統(tǒng)地介紹了軟件需求工程的學(xué)科起源和具有代表性的方法,，并展示了其課題組在基于環(huán)境建模的軟件需求工程方面的研究成果,。基于環(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)師生濃厚的興趣,。
報(bào)告人簡(jiǎn)介：金芝，北京大學(xué)教授,，博士生導(dǎo)師,，國(guó)家杰出青年基金獲得者，現(xiàn)任北京大學(xué)高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室常務(wù)副主任,。兼任中國(guó)計(jì)算機(jī)學(xué)會(huì)常務(wù)理事和學(xué)術(shù)工作委員會(huì)主任委員,，擔(dān)任《計(jì)算機(jī)學(xué)報(bào)》副主編、《軟件學(xué)報(bào)》執(zhí)行副主編,，JCST,、RE、IJSEKE等期刊編委,。一直從事知識(shí)工程,、需求工程和基于知識(shí)的軟件工程的研究,，先后主持國(guó)家基礎(chǔ)研究發(fā)展規(guī)劃（973）課題,、國(guó)家863高技術(shù)計(jì)劃課題、國(guó)家自然科學(xué)重點(diǎn)基金項(xiàng)目等二十余項(xiàng),，在Kluwer Academic Publishers出版合著英文專(zhuān)著1部,，在國(guó)內(nèi)外著名學(xué)術(shù)期刊和會(huì)議上發(fā)表論文100多篇。
最新動(dòng)態(tài)
English
