應學院邀請，北京大學金芝教授将為bet356手机版唯一官网計算機學院、軟件學院、人工智能學院作學術報告。
報告題目：基于環境建模的需求工程
報告題目：基于環境建模的需求工程
報告時間：2019年4月16日下午14:30(星期二)
報告地點：bet356手机版唯一官网計算機樓313會議室
報告摘要：軟件需求工程的任務是觀察現實世界、定位軟件問題、決定軟件能力。對現實問題的觀察存在不同的角度，基于環境模型的需求工程，通過對軟件系統交互環境的建模，以及對環境靜态和動态特征的分析，推導出軟件應具有的行為和需要滿足的約束，從而規約出軟件系統的功能需求，以及和交互環境的特性相關的非功能需求。本次報告介紹什麼是軟件環境、如何為軟件環境建模、如何從與環境的交互中決定所需要的軟件能力。
報告人簡介：金芝，北京大學教授，973項目首席科學家。任北京大學高可信軟件技術教育部重點實驗室常務副主任，國務院學位委員會學科評議組成員（軟件工程），中國計算機學會會士與常務理事，中國計算機學會軟件工程專業委員會主任，《軟件學報》執行主編，《計算機學報》副主編，《IEEE Transactions on Software Engineering》Associate Editor。主要研究領域包括：軟件需求工程、知識工程、和基于知識的軟件工程等，獨著/合著出版英文專著3部，中文編著1部，發表論文180餘篇。2006年獲得國家傑出青年科學基金資助。