李智-智能需求工程的两个方面：AI4RE和RE4AI.pdf

1、智能需求工程的两个方面:AI4RE和RE4AI李 智 教育区块链与智能技术教育部重点实验室广西师范大学演讲嘉宾李 智“智能需求工程”提出者/CNCC需求工程论坛共同主席中国计算机学会(CCF)杰出会员，担任CCF软件工程专业委员会常务委员、服务计算、系统软件、形式化方法专委委员，中国人工智能学会(CAAI)人工智能逻辑专业委员会会员，IEEE/ACM高级会员。复旦大学学士，英国硕士、博士、博士后(留学时间长达9年)。进入学术研究领域之前曾经有10年以上从事专业技术工作。获得国家自然科学基金项目3项、省部级项目4项，发表学术论文50余篇(含CCF-A类期刊论文4篇，并3次获得国际学术会议最佳论文

2、奖)，在中国计算机大会(CNCC)技术论坛、国际软件质量工程峰会(iSQE)等学术会议上做邀请报告16次。TASE19会议大会主席、NASAC14会议程序委员会副主席、专家系统:知识工程期刊副主编。目 录CONTENTS1.背景和问题：2.解决思路/整体方案/实践：3.总结与展望:智能需求工程根源&基础、变更、错误、跨领域建模、验证、评价、抽象与精化因果推理、度量、NLP、LLM智能需求工程的未来-通用工智能AGI智能需求工程根源&基础PART 01 背景和问题需求变更、错误、跨领域鸿沟智能需求工程根源和基础(Intelligent RE is rooted in Engineering)工程

3、：图片及定义来源：G F C Rogers;The Nature of Engineering:A Philosophy of Technology;Palgrave Macmillan,1983“Engineering refers to the practice of organizing the design and construction of any artificewhich transforms the physical world around us to meet some recognized need.”“工程是指安排设计和构建人工制品的实践活动，它改造我们周围的物理世

4、界以满足某些确认的需求。”任何“工程”都具备的三要素图片及定义来源：G F C Rogers;The Nature of Engineering:A Philosophy of Technology;Palgrave Macmillan,1983“工程是指安排设计和构建人工制品的实践活动，它改造我们周围的物理世界以满足某些确认的需求。”人工制品：建筑，药品，软件(美团)物理世界：空间，人体，环境(某城市)需求：保暖，治病，需求(点外卖)土木工程医药工程软件工程软件工程的三要素图片来源百度图库软件产品 接口 物理环境 满足 需求(约束)软件产品物理环境物理环境接口接口需求如何表达？本质是什么？问

5、题：软件工程的三要素软件产品 接口 物理环境 满足 需求(约束)接口接口满足满足 需求需求包含：软件产品的约束（软件规格）、物理环境的约束（行为/现象）、两者之间交互全局的约束（目标/场景/问题）判定需求工程阶段性成功的标准是什么？问题：软件工程中的三要素接口满足 需求软件产品物理环境(约束)*S,ER*Michael Jackson and Pamela Zave.Deriving specifications from requirements:an example.Proceedings of the 17th International Conference on Software E

6、ngineering,ICSE 95,Seattle,Washington,USA,pages1524,April 1995*Anthony Hall,E=mc2Explained,in*Software Requirements and Design:The Work of Michael Jackson,ed.Bashar Nuseibeh and Pamela Zave,Chatham,NJ Good Friends Publishing Company,2010.这是被称为需求工程中的“E=mc2”理论*可满足关系“”是否为真，是判定RE阶段性成功与否的标准需求工程中的元理论及其实例化