中国计算机学会 (CCF) 杰出会员,担任该学会软件工程专业委员会常务委员、服务计算、系统软件、形式化方法专委委员,中国人工智能学会(CAAI)人工智能逻辑专业委员会会员。复旦大学理学学士,英国约克大学计算机科学系理学硕士,英国开放大学计算机科学博士,英国基尔大学软件工程专业博士后,在英国留学时间长达9年。在进入学术研究领域之前曾经有10年以上从事专业技术工作。获得国家自然科学基金项目3项、省部级项目4项,发表学术论文50余篇(含CCF推荐A类期刊论文4篇,并3次获得国际学术会议最佳论文奖),在中国计算机大会(CNCC)技术论坛、国际软件质量工程峰会(iSQE)等学术会议上做邀请报告16次。
内容简介:
观点:大语言模型为代表的AI可辅助提高需求工程效率,同时需求工程对提高AI可靠性(含可信性及可解释性等)带来手段;
实践:本讲座以糖尿病患者血糖控制问题为案例展示和讨论本讲座的观点;
深度:本讲座以被称为需求工程中的“E=mc2”理论展开应用扩展及工具支持;
创新:本讲座将涉及对AI出现之前的需求工程进行反思,然后提出新的观点和技术。
演讲提纲:
1、智能需求工程中的关键性挑战与解决方案
1)需求智能获取:如何通过自然语言的处理和需求建模进行缺失需求的补全;
2)需求智能分析:用图文并茂甚至多媒体手段进行需求建模,用工具原型进行需求抽象和精化;
3)需求智能评价:需求复杂度度量及非功能需求分类;
2、大语言模型在需求工程的初探:LLM在需求模型精化的应用;
3、智能需求工程的未来展望:强人工智能技术在需求可解释性和可信性的机遇。
听众受益:
听众可以了解学术研究如何联系和指导需求工程实践,并通过本讲座的案例演示可以了解和体验如何在AI背景下如何提高需求工程实践能力。