软件需求工程，如何应对智能化和人工智能新技术带来的新挑战
CCF会员、软工专委执行委员、形式化方法专委委员，华东师范大学软件工程学院，主要研究方向为基于环境建模的需求工程、需求形式化与验证以及IoT最终用户编程。主持并参与多项国家自然科学基金、重点研发、863、973项目及省部级项目，主要工作包括基于环境建模的功能需求建模、基于环境模型的安全需求形式化建模与验证、基于投影的问题自动分解、基于因果关系的约简与基于用户意图的IoT最终用户编程、智能系统的需求确认等，在国内外知名期刊、会议发表论文50余篇。
报告题目：从TAP规则自动生成最终用户编程的体验型原型：一种基于知识的方法
随着物联网技术的快速发展，IoT使能的系统需求呈现个性化特征。此类系统常采用最终用户编程范式，使用TAP（触发-动作编程）规则描述他们的需求。然而，TAP规则极易出错，最终用户不知道它们的实际效果，希望在部署之前进行确认。据我们所知，最终用户编程的需求确认还没有得到太多关注。我将报告一种基于知识的从TAP规则自动生成体验型原型的方法，生成的动画形式原型，可以使最终用户有身临其境的感觉，由此确定他们的意图是否满足。