澳门太阳集团9728网站學院學術報告
報告題目：新一代人工智能下需求工程中的“E=mc2”理論擴展及工具支持
報告人： 李智，博士/教授/博導，廣西師範大學計算機科學與工程學院副院長
報告時間：2023年6月27日(星期二) 下午15:00-17:00
報告地點：計電學院一樓報告廳
報告摘要：
需求工程在橋接利益相關者的需求和軟件規格說明起至關重要的作用。本次報告中将介紹被稱為“需求工程中的E=mc2”理論及在此方面我們進行擴展工作-如何解決需求複雜性問題。我們将介紹一種基于模型抽象及精化雙向變換的需求分析及定量評估方法，通過展示一個全局質量需求可實例化為若幹個功能需求來說明造成需求複雜性的内在原因。最後，以應用案例及計算機輔助需求工程工具CARE來演示如何輔助和支持解決需求複雜性問題。
報告人簡介
李智，博士/教授/博導，廣西師範大學計算機科學與工程學院副院長。中國計算機學會(CCF)傑出會員，擔任CCF軟件工程專委會常委委員、系統軟件專委會委員和形式化方法專委會委員，IEEE/ACM高級會員。擔任國際期刊《專家系統:知識工程》副主編。複旦大學理學學士，英國約克大學計算機科學系理學碩士，英國開放大學計算機科學博士，英國基爾大學軟件工程專業博士後。研究興趣包括面向問題的城市大數據需求工程、基于問題框架的人機物融合系統建模與驗證、數據驅動的軟件工程及人機交互等。獲國家自然科學基金項目2項、省部級項目4項，發表學術論文50餘篇，研究成果已轉化為9項計算機輔助需求工程CARE工具集。
歡迎廣大師生參會交流！
