计算机与电子信息学院学院学术报告
报告题目：新一代人工智能下需求工程中的“E=mc2”理论扩展及工具支持
报告人： 李智，博士/教授/博导，广西师范大学计算机科学与工程学院副院长
报告时间：2023年6月27日(星期二) 下午15:00-17:00
报告地点：计电学院一楼报告厅
报告摘要：
需求工程在桥接利益相关者的需求和软件规格说明起至关重要的作用。本次报告中将介绍被称为“需求工程中的E=mc2”理论及在此方面我们进行扩展工作-如何解决需求复杂性问题。我们将介绍一种基于模型抽象及精化双向变换的需求分析及定量评估方法，通过展示一个全局质量需求可实例化为若干个功能需求来说明造成需求复杂性的内在原因。最后，以应用案例及计算机辅助需求工程工具CARE来演示如何辅助和支持解决需求复杂性问题。
报告人简介
李智，博士/教授/博导，广西师范大学计算机科学与工程学院副院长。中国计算机学会(CCF)杰出会员，担任CCF软件工程专委会常委委员、系统软件专委会委员和形式化方法专委会委员，IEEE/ACM高级会员。担任国际期刊《专家系统:知识工程》副主编。复旦大学理学学士，英国约克大学计算机科学系理学硕士，英国开放大学计算机科学博士，英国基尔大学软件工程专业博士后。研究兴趣包括面向问题的城市大数据需求工程、基于问题框架的人机物融合系统建模与验证、数据驱动的软件工程及人机交互等。获国家自然科学基金项目2项、省部级项目4项，发表学术论文50余篇，研究成果已转化为9项计算机辅助需求工程CARE工具集。
欢迎广大师生参会交流！
