报告人：金芝 教授 北京大学
主持人：李必信
报告时间：2025年5月15日（周四）下午15:00-16:00
报告地点：东南大学九龙湖校区计算机楼513报告厅
报告摘要：随着物联网技术的发展，嵌入式软件系统变得越来越复杂，相比于一般软件系统，复杂嵌入式系统典型地具有任务意图强相关、物理设备强依赖以及执行逻辑交织等特征，如何系统化地提取和表示系统设计意图，模式化地解耦和精化需求问题，并通过分析获得可操作化的细粒度软件需求，是解决复杂嵌入式软件系统高效开发的瓶颈。本报告介绍以领域知识和环境建模为引导的需求工程方法，该方法系统化构建复杂嵌入式软件系统的需求分析和设计模式，提出基于投影的嵌入式软件系统需求规约方法，实现从系统任务意图到软件需求规约的变换，本报告还将介绍该方法在具体案例上的实践。
报告人简介：金芝，博士，北京大学教授，高可信软件技术教育部重点实验室（北京大学）常务副主任，杰青，IEEE/CCF/AAIA Fellow。主要研究领域为软件需求工程和知识工程。出版著作5部，发表论文200余篇，论文多次获得ACM SigSoft Distinguished Paper Award以及国际会议最佳论文奖。任IEEE TSE, ACM TAAS，REJ，ESEM等期刊编委,任《软件学报》执行主编，《计算机学报》副主编。
