1.论坛嘉宾：李宣东（南京大学）

报告题目： 大语言模型给软件工程教育带来的挑战

摘要： 以自然语言生成为核心的大模型技术正在人工智能领域掀起热潮，并持续向更多的领域穿透其影响力。以ChatGPT为代表的自然语言生成大模型（以下简称大模型），已经在软件工程的多项活动中展示出其通过自然交互方式给人提供一定程度帮助的能力和潜力，正在发展成为一种基于自然交互的人机协同软件开发与演化工具。从人机协同软件开发与演化的视角，大模型作为一种软件工具呈现出了两大特征，其一是基于自然语言的人机交互，在相当大程度上拓展了人机协同的工作空间、提高了人机协同的效率和灵活性；其二是基于已积累的软件开发和演化知识、针对给定软件开发和演化任务的预测性内容生成，可以对软件开发和演化提供一定程度的支持和帮助。由于大模型本质是基于概率与统计原理和训练数据所形成的数学模型，具有不可解释性和内生不确定性，其生成的是缺失可信性判断的预测性内容，需要人工加以分析、理解和确认，才能在此基础上完成软件开发与演化中有可信保障的决策性任务。因此，大模型作为一种软件工具如同专业相机，需要使用者具备相当程度的专业能力才能有效驾驭，从而给软件工程专业教育带来了新的挑战。本报告围绕大模型给软件工程专业教育带来的挑战进行分析和阐述，并进一步探讨解决方案。

简介： 南京大学教授，兼任中国计算机学会软件工程专业委员会主任、国务院学科评议组成员（软件工程）；教学和研究工作主要涉及软件工程、系统软件、可信软件、形式化方法等领域。

2.论坛嘉宾：王千祥（华为公司）

报告题目： 大模型给教育带来的挑战

摘要： 经过近几十年的发展，目前互联网上面已经汇聚了大量的人类知识，供人们方便地搜索、使用。最近出现的大模型进一步将这些人类的知识进行了低损压缩，并为人们提供了更为方便、高效的检索方式。当知识的获取足够方便时，将给知识的传承带来了巨大的挑战：教育最重要的使命是什么？第一位的还是传承知识吗？哪些候选变得更重要了？我们应该如何应对？

简介： 华为云智能化软件研发首席专家，PaaS技术创新LAB主任，华为公司可信领域科学家，中国计算机学会软件工程专委副主任。主导华为公司的智能化软件研发，结合AI技术与软件分析技术，近期带领团队研发基于大模型的IDE插件，赋能公司的系列软件研发工具。

3.论坛嘉宾：彭鑫（复旦大学）

报告题目： 关于大模型时代软件工程人才培养的一点思考

摘要： 以GPT系列为代表的大模型技术对于包括软件工程在内的很多领域都带来了巨大的冲击，也引发了广泛的焦虑。大模型具有很强的代码生成、理解和修改能力，在适当的提示和反馈下甚至可以端到端生成一些简单应用。许多企业都已经在软件研发流程中引入大模型实现智能化辅助开发，由此不可避免地带来软件开发方式和软件工程人才能力要求等方面的变化。在此背景下，高校计算机及软件工程等相关专业人才培养的目标、方式和方法将会受到什么样的影响？需要如何调整？针对这些问题，我们进行了一些初步的思考和探索，在此与大家分享和交流。

简介： 复旦大学计算机科学技术学院副院长、教授、博士生导师。中国计算机学会（CCF）杰出会员、软件工程专委会副主任、开源发展委员会常务委员，上海市计算机学会青工委主任，《Journal of Software: Evolution and Process》联合主编（Co-Editor），《ACM Transactions on Software Engineering and Methodology》、《Empirical Software Engineering》、《Automated Software Engineering》、《软件学报》等期刊编委。2016年获得NASAC青年软件创新奖。主要研究方向包括软件智能化开发、云原生与智能化运维、泛在计算软件系统、智能网联汽车等。研究工作多次获得IEEE Transactions on Software Engineering年度最佳论文奖、ICSM最佳论文奖、ACM SIGSOFT杰出论文奖、IEEE TCSE杰出论文奖等奖项。担任2022年与2023年CCF中国软件大会（ChinaSoft）组织委员会主席与程序委员会共同主席，以及ICSE、FSE、ASE、ISSTA等会议程序委员会委员。带领复旦大学CodeWisdom研究团队开展软件智能化开发与运维以及软件供应链治理平台的研究，研究成果在多家大型企业进行了实践应用。

4.论坛嘉宾：吴文峻（北京航空航天大学）

报告题目： 生成式人工智能引发软件工程教育的新变革

摘要： 大语言模型的快速发展正在开启通用人工智能时代的大幕，正在深刻改变软件系统形态、软件开发范式和软件工程教育方法。本次报告梳理GPT为代表的大模型对主要软件工程活动的影响和未来的发展趋势，并重点讨论如何利用大模型来推动软件工程教学方法的变革。

简介： 主持国家自然基金重点、国家重点研发计划、国家863计划、国家973计划等20多项课题，学术论文150多篇，出版中英文专著两部，担任国家人工智能标准总体组副组长。主要研究方向包括：群体智能、大规模在线教育、AI for Science。

5.论坛嘉宾：陈小红（华东师范大学）

报告题目： 软件需求工程课程教学

摘要： 软件系统已经成为我们日常生活中不可或缺的工具，软件需求是“软件定义一切”的驱动力。软件需求的获取已经超越了简单的输入和输出，而需要考虑如何提升生活质量、安全性和创造价值等人类社会目标。在软件需求工程课程中，我们着重培养学生的方法论思维能力，通过系统化的方法和策略来获取、分析、理解和管理软件需求。同时，我们也注重培养学生应对不同类型项目的能力。学生将学习到不同项目类型（如嵌入式系统或移动应用程序）所需的不同方法和工具，以适应不同的需求和约束条件。最后，我们通过案例教学来提升学生在需求工程领域的实践能力。通过分析实际项目和行业案例，学生将学会如何将理论知识应用于实践，以应对真实世界中的需求工程挑战。

简介： 华东师范大学软件工程学院，副教授，主要研究方向为基于环境建模的需求工程以及需求形式化与验证。在软件需求工程课程的教学上已经有超过10年的经验。主持了多项软件需求工程相关国家自然科学基金项目以及省部级项目。主要研究工作包括基于环境建模的功能需求建模、基于环境模型的安全需求形式化建模与验证、基于投影的需求问题自动分解、基于用户意图的IoT最终用户编程、智能系统的需求确认等，在国内外知名期刊、会议发表论文50余篇。

6.论坛嘉宾：张天（南京大学）

报告题目： 从软工到软件方法学的本科与研究生教学实践

摘要： 软件开发方法学的目的是为软件工程寻求科学方法的指导，把软件开发活动置于坚实的基础上。在本科教育阶段，高校主要从经典的结构化分析与设计和主流的面向对象开发方法入手介绍软件开发的相关方法与技术。而进入研究生阶段，教学课程也需要与时俱进，既要体现经典理论，又要对接前沿的发展趋势。从整个软件工程发展和软件开发方法演化的角度去理解软件工程中的各种方法和技术，对于本科和研究生都大有裨益。本报告将结合南京大学计算机科学与技术系本科软件工程和研究生软件方法学课程的建设思考与教学实践，分享在此过程中面临的挑战与困难，收获的经验与教训，以及未来的努力方向。

简介： 2009年获南京大学博士学位，现为南京大学计算机科学与技术系教授、博士生导师，CCF形式化方法专委会委员，2015年任中国计算机学会青年学者论坛（CCF YOCSEF）南京主席。所研究工作主要涉及模型驱动软件开发及机器学习交叉领域的智能软件方法与技术。研究成果发表在国际知名会议和期刊70余篇（CCF-A类会议/期刊20余篇），相关研究成果申请发明专利40余项。多项研究成果已在国内如华为、腾讯、字节、OPPO等多家领头企业中投入使用，专利、工具等知识产权转让费用150多万。

7.论坛嘉宾：熊桂喜（北京航空航天大学）

报告题目： 《大规模领域软件系统》课程建设与教学实践

摘要： 大规模领域软件系统是指社会信息化过程中，特别是互联网技术大规模应用以来，网络和软件技术与各行各业创新业务应用深度融合和综合集成的软件系统。设计和开发领域软件系统，涉及硬件支撑、网络工程及网络空间安全、领域知识及系统集成等技术。本报告首先介绍我们在编写《大规模领域软件系统》课程指南时的基本考虑，然后介绍课程建设及教学实践的体会，包括课程单元设计，以案例为中心的教学内容组织，课程作业设计等。

简介： 北京航空航天大学计算机学院副教授。研究方向：信息系统集成、智慧城市、智慧交通。作为课题负责人或技术骨干，参加了30多项国家重点研发专项课题和来自政府、企业的计算机应用项目。曾获得公安部科学技术一等奖（排名第2）。讲授课程《大规模领域软件系统》、《信息系统集成技术》、《物联网与大数据系统设计》、《X86汇编程序设计》等课程。出版教材及技术专著2部。

8.论坛嘉宾：徐坚皓（南京大学）

报告题目： 《软件安全》研究生课程设计

摘要： 本报告探讨如何系统地介绍软件安全相关知识，分析软件安全的本质，关联经典的攻击和防御技术，尤其是不断发展更新的问题和技术，并有针对性地引导学生阅读研究论文，尽力帮助学生不仅掌握软件安全的基础理论，还能1)应用所学构造攻防实例，提高动手能力;2)按照一定的问题线索，发现新问题或提出合适的解决方法，为其进一步从事软件安全的学术研究或工程应用打好基础。

简介： 2023年即将博士毕业于南京大学计算机科学与技术系，并留校担任助理研究员。目前主要研究兴趣包括系统安全和软件安全，在IEEE S&P, Usenix Security，TSE等国际会议期刊发表多篇论文。

8.论坛嘉宾：邵栋（南京大学）

报告题目： “软件工程管理”课程教学探索

摘要： “软件工程管理”是软件工程专业的重要教学内容，课程的难点主要体现在概念复杂、内容变化快、学生难以有效理解并应用理论知识到实践中。南京大学进行了“软件工程管理”课程的教学探索，课程包括基础理论、方法、技术实践，以及敏捷软件开发和DevOps等内容，课程强调了案例学习和实践、工具的教学。期待能和各位老师共同探讨“软件工程管理”课程面临的挑战和解决方法。

简介： 现任南京大学软件学院副院长、副教授。主要从事软件工程教学研究工作，研究方向为敏捷软件开发、软件工程教育、软件研发效能、软件过程、DevOps、高科技市场理论等，在国际主流学术会议期刊发表数十篇学术论文。南京大学软件学院软件研发效能实验室研究团队成员。一次获得中华人民共和国教育部颁发的“国家级教学成果一等奖（排名3）”，三次获得“国家级教学成果奖二等奖”，两次获得江苏省教学成果特等奖。

9.论坛嘉宾：钱卫宁（华东师范大学）

报告题目： “硬核”基础软件人才培养：研究生课程设计探索与实践

摘要： 基础软件是关键信息基础设施重要组成部分。在数字化转型和数字经济建设的大背景下，培养具备基础软件架构和核心技术研发能力的卓越人才是社会的迫切需要。如何更新教学内容以反映应用——尤其是中国特色的应用需求、技术发展前沿与趋势，创新教学方法以兼顾技术、方法和理论介绍与工程实践能力培养，是研究生教学中面临的新问题。报告介绍华东师范大学数据科学与工程学院在数据管理系统和开源软件研究生课程设计与教学中的思考与实践。

简介： 华东师范大学教授、博士生导师，数据科学与工程学院院长，入选国家级高层次人才计划。目前担任中国计算机学会数据库专委会常务委员，中国系统工程学会数据科学与知识系统工程专委会副主任委员，中国计量测试学会计算基准专委会副主任委员，教育部人工智能科技创新专家工作组成员。曾获国家科技进步二等奖1次和多次省部级科技奖励。研究兴趣包括新型数据管理系统，海量数据分析处理及其应用，以及数据驱动的计算教育学。

10.论坛嘉宾：魏星达（上海交通大学）

报告题目： 分布式系统：原理与实现

摘要： 互联网应用的普及和AI时代的到来需要计算机系统提供海量存储和算力的支持，这意味着现代计算机系统需要从单机转向分布式系统，以提供持续的可扩展能力。然而，与单机系统相比，分布式系统除了面临单机系统存在的问题外，还面临着多机协作所带来的协作和可靠性问题。目前学生对分布式问题的经验不足，同时部分分布式系统原理过于抽象，导致他们很难掌握构建高效、正确且可靠的分布式系统的方法。本课程以一个现代互联网应用为切入点，深入浅出地介绍现代分布式系统运行的基本原理和实现方法，从单机到分布式，从原理到实践逐步展开。

简介： 上海交通大学长聘教轨助理教授，博士生导师。主要研究方向为分布式系统和操作系统。在软硬件结合加速分布式系统方面取得了一系列研究成果，相关研究成果发表在OSDI/SOSP等计算机系统领域顶级会议上。获得2021年ACM SIGOPS Dennis M. Ritchie Award 优胜奖（亚太地区首次获奖），2020华为奥林帕斯先锋奖，2018年微软亚洲学者，2022年华为火花奖等。

11.论坛嘉宾：张莉（北京航空航天大学）

报告题目： 研究生软件体系结构课程的设计

摘要： 介绍计算机类专业研究生软件体系结构课程指南的编写情况，包括课程的定位、课程内容，以及课程实践环节的设计等。

简介： 校教学指导委员会副主任，计算机学院软件工程研究所所长，教授，博士生导师。北京市教学名师。教育部软件工程专业教学指导委员会委员，全国高等学校计算机教育研究会副理事长。中国工程教育计算机类专业认证委员会委员。计算机学会教育专委会候任主任。首届国家级一流本科课程负责人，软件工程国家级一流专业建设点负责人，教育部编译课程虚拟教研室负责人，101计划编译原理课程负责人。曾入选北京市科技新星计划、教育部"新世纪优秀人才支持计划"等。多次获得国家教学成果、北京市教学成果奖、国防科技进步奖等奖励。

12.论坛嘉宾：董威（国防科技大学）

报告题目： 软件工程理论基础课程建设

摘要： 高水平的软件工程专业研究生需要有坚实的理论基础，软件工程理论基础课程应该为研究生未来参与各个相关方向的科学研究和工程实践提供良好的支撑。本报告结合软件工程一级学科研究生核心课程指南中对基础理论课程中知识体系、教学方式等的要求，以及国防科技大学软件工程一流学科建设中数理逻辑、形式化方法、软件分析原理、高可信软件技术等研究生理论基础课程的建设发展，对如何提升研究生软件工程基础理论素质面临的一些问题和举措进行探讨。

简介： 国防科技大学计算机学院教授、博士生导师，主要研究方向为高可信软件技术、智能化软件开发方法，中国计算机学会形式化方法专委会秘书长。入选教育部新世纪优秀人才支持计划，曾获中国计算机学会首届NASAC青年软件创新奖、霍英东基金会高校青年教师奖等。先后主持国家自然科学基金重大项目课题、国家863和973课题、国防领域课题十余项，发表学术论文70余篇，出版国家级规划教材3部，相关成果应用于航空航天、装备控制、自主基础软件等关键领域。

13.论坛嘉宾：张亶（浙江大学）

报告题目： 《软件分析与测试》大纲介绍及在课程建设中的思考

摘要： 介绍核心课程《软件分析与测试》最新版本的大纲，并就大纲内容的调整具体说明，包括软件测试基础部分的范围框定，增加云计算、人工智能在软件分析和测试中应用的内容以及加强实战部分的教学。在此基础上，讨论课程建设中的若干问题，包括如何安排和筛选新技术在软件分析和测试中应用的教学内容，如何通过案例介绍最新的软件测试发展成果，如何通过实战提高研究生对于测试行业业态的了解等。

简介： 浙江大学计算机学院和软件学院副教授，浙江大学软件学院教学督导，教学指导委员会成员，人工智能中心常务副主任。从2003年开始，培养研究生300多名，培养软件项目管理师100多名，2014年获得浙江大学软件学院所在地宁波市优秀教师，获得2019年华为菁英人才贡献奖教金。从事《软件测试技术》、《软件质量保证》和《面向企业的高级软件测试》等相关课程教学工作20年，参加了10多项教学改革项目。

论坛主席

1.论坛主席：毛新军（国防科技大学）

简介： 国防科技大学首席教授，全国高校计算机专业优秀教师，首届霍英东教育教学奖获得者，入选教育部新世纪优秀人才和湖南省121人才计划，教育部计算机领域本科教育改革试点工作计划（101计划）软件工程课程及虚拟教研室建设负责人，信息技术新工科产学研联盟和中国高校计算机教育MOOC联盟的实践教学工委主任，主要从事软件工程方向的科学研究、教学教改和人才培养工作，编著教材6部，获国家教学成果二等奖1项，省自然科学一等奖1项。

2.论坛主席：张莉（北京航空航天大学）

简介： 软件工程研究所所长，教授，博导。教育部软件工程专业教学指导委员会委员，全国高等学校计算机教育研究会副理事长。中国工程教育计算机类专业认证委员会委员。计算机学会教育专委会候任主任。首届国家级一流本科课程负责人，软件工程国家级一流专业建设点负责人，教育部编译课程虚拟教研室负责人，101计划编译原理课程负责人，北京市教学名师。曾入选北京市科技新星计划、教育部"新世纪优秀人才支持计划"等。多次获得国家教学成果、北京市教学成果奖、省部级科技进步奖等奖励。