AI-Supported Agile Formal Engineering Method for Trustworthy Software（高可信软件的智能化敏捷形式化工程方法）

报告题目：AI-Supported Agile Formal Engineering Method for Trustworthy Software（高可信软件的智能化敏捷形式化工程方法）

报 告 人： 刘少英    教授

报告时间：6月10日 10:00~12:00

报告地点：明理楼B306

报告人简介：

华东师范大学软件工程学院特聘教授, 入选教育部长江学者奖励计划讲席教授, IEEE Fellow, BCS Fellow，以及AAIA Fellow。1992年获得英国曼彻斯特大学计算机科学博士学位。曾先后在中国，英国，以及日本的10所大学从事研究和教学工作，包括西安交通大学，英国曼彻斯特大学，约克大学，伦敦大学，牛津大学，贝尔法斯特女皇大学，日本广岛市立大学，法政大学，广岛大学，以及现在的华东师范大学。主要研究领域包括软件工程，软件开发的形式化工程方法，软件设计方法，程序验证，软件测试，以及智能软件工程环境。创立和发展了“软件开发的形式化工程方法”，研制开发了SOFL形式化工程开发语言和方法，开拓了敏捷SOFL形式化工程方法，由Springer出版专著两本，编著由IEEE Press和Springer LNCS系列出版的论文集16本，在包括IEEE Transactions on Software Engineering, IEEE Transactions on Reliability, Journal of Systems and Software等国际学术期刊和国际会议发表300多篇论文。曾被Journal of Systems and Software评为1993年至1996年期间的在系统和软件工程领域的前15名学者之一，获得1996年由IEEE国际会议授予的“优秀论文奖”，2011年中国国家示范软件学院十佳兼职教师奖，2017年6月IEEE可靠性协会日本分会的2016年最佳论文奖， 2018年的20年ICFEM最有影响研究者奖，日本信息处理学会软件工程研究会的2020年和2022年的卓越研究奖两次等。曾多次担任ICFEM，ICECCS等国际会议的大会主席和程序委员会主席，以及数目繁多的国际会议的PC委员，曾被欧，美，亚，奥等地区的70多个大学和研究机关以及国际会议邀请作学术报告，为2025 IEEE CyberSciTech/DASC/PICom/CBDCom, DSA 2024和2025, WSSE 2023, QRS 2015、ICECCS 2014等15个国际会议作主旨报告。曾任IEEE Transactions on Reliability，Software Testing, Verification and Reliability, 以及Innovations of Systems and Software Engineering学术期刊的Associate Editor。

报告内容摘要：

如何在确保高效率生产的同时保证被开发软件系统的高可信性是软件工程领域的悬而未解的重大科学问题. 为解决这个问题, 目前已经提出多种方法和技术, 包括模型驱动，形式化方法，基于软件组件的开发，以及敏捷开发方法。它们各有特点，但在实际应用中都存在不同的挑战和问题。

为应对这些挑战和问题, 我们长期以来集中研究如何把形式化方法有效地融合到软件工程方法和技术中, 确立了符合软件工程现实特点的敏捷形式化工程方法, 以达到提高软件工程技术的严密性, 有效性, 以及工具的可支撑性. 同时, 也提出使用基于专家知识和大语言模型（LLMs）的人机结对编程技术提供对敏捷形式化工程方法的智能化支撑, 以提高软件开发过程的高自动化.

在这个报告中, 我首先简单地讨论目前已有的方法和技术的特点与存在的问题, 然后集中介绍我们团队在敏捷形式化工程方法及其智能化支撑方向所做的研究工作和取得的进展. 同时, 也指出今后发展的方向和进一步要解决的研究课题。

主办单位：计算机与软件学院

科学技术发展研究院