讲座时间：2025年06月11日（星期四）下午14:30
讲座地点：犀浦校区3号教学楼X31541报告厅
主讲人：刘少英 教授
主讲人简介：
刘少英，华东师范大学软件工程学院特聘教授, 入选国家级人才, IEEE Fellow, BCS Fellow，以及 AAIA Fellow。曾先后在中国，英国，以及日本的 10 所大学从事研究和教学工作。主要研究领域包括软件工程，软件开发的形式化工程方法，软件设计方法，程序验证，软件测试，以及智能软件工程环境。创立和发展了“软件开发的形式化工程方法”，研制开发了 SOFL 形式化工程开发语言和方法，开拓了敏捷 SOFL 形式化工程方法。在包括 IEEE Transactions on Software Engineering, IEEE Transactions on Reliability, Journal of Systems and Software 等国际学术期刊和国际会议发表 300 多篇论文。曾多次担任 ICFEM，ICECCS 等国际会议的大会主席和程序委员会主席。曾任 IEEE Transactions on Reliability，Software Testing, Verification and Reliability, 以及 Innovations of Systems and Software Engineering 学术期刊的 Associate Editor。
内容简介：
如何兼顾高效率生产与高可信软件系统开发，是软件工程领域尚未解决的重大科学问题。围绕这一问题，已有模型驱动、形式化方法、组件化开发和敏捷开发等多种技术，但在实际应用中都存在不同的挑战和问题。针对这些问题，我们长期研究将形式化方法融入软件工程实践，确立了符合工程现实需求的敏捷形式化工程方法，以提升软件开发过程的严谨性、有效性和工具的可支撑性。同时，进一步探索结合专家知识与大语言模型的人机结对编程技术，为敏捷形式化工程方法提供智能化支撑，提高软件开发自动化程度。本报告将简要分析现有方法的特点与存在的问题，然后集中介绍我们团队在敏捷形式化工程方法及其智能化支撑方面的研究进展，并展望未来发展方向与待解决问题。
