演讲主题：需求工程中的“E=mc2”理论扩展及工具支持

嘉宾简介：

李智，博士/教授/博导，中国计算机学会(CCF)杰出会员，担任该学会软件工程专委会常委委员、系统软件专委会委员和形式化方法专委会委员，IEEE/ACM高级会员。复旦大学理学学士，英国约克大学计算机科学系理学硕士，英国开放大学计算机科学博士，英国基尔大学软件工程专业博士后，在英国留学时间长达9年。进入学术研究领域之前曾有10年以上从事专业技术工作经验，研究兴趣包括面向问题的城市大数据需求工程、基于问题框架的人机物融合系统建模与验证、数据驱动的软件工程及人机交互等。获得国家自然科学基金项目2项、省部级项目4项，发表学术论文40余篇(含CCF推荐A类期刊论文3篇，3次获得国际学术会议最佳论文奖)，做会议邀请报告及演讲10余次。 研究成果已转化为9项计算机辅助需求工程CARE工具集。

演讲简介：

需求工程在桥接利益相关者的需求和软件规格说明起至关重要的作用。本次报告中将介绍被称为“需求工程中的E=mc2”理论及在此方面我们进行扩展工作-如何解决需求复杂性问题。我们将介绍一种基于模型抽象及精化双向变换的需求分析及定量评估方法，通过展示一个全局质量需求可实例化为若干个功能需求来说明造成需求复杂性的内在原因。最后，以应用案例及计算机辅助需求工程工具CARE来演示如何辅助和支持解决需求复杂性问题。