报告名称：Advanced Formal Engineering Methods for Dependable Software Engineering

报告时间：1月13日 15:30

报告地点：理科大楼B211

报告摘要:

Formal engineering methods was proposed about 30 years ago as a research area to study how  formal methods can be integrated into conventional software engineering techniques to  enhance the effectiveness, efficiency, and tool supportability of software engineering. As a  result of our extensive research over the last three decades, we have established rather mature  technologies in the area, such as SOFL specification language and method to support the  integration of structured method, object-oriented method, and formal methods, formal  specification-based program inspection, formal specification-based program testing, and  formal specification animation for software quality assurance. Despite the progress we have  made, there still exist several challenges in the field. In this talk, I will first briefly explain the  challenges and then present the potentially advanced formal engineering techniques and  research topics we have been working on, including Agile-SOFL (Replacing formal  specifications with hybrid specifications, pre-post specifications with specifications in  functional scenario form, and refinement with evolution), Testing-Based Formal Verification  (TBFV), and Human-Machine Pair Programming (AI-based programming). These advanced  techniques are expected not only to deal with mathematical issues derived from software  engineering, but also to tackle engineering-related issues, such as scalability, evolution,  human factors, and automation

报告人简介:

1982 年和 1987 年分别获西安交通大学计算机科学学士和硕士学位，1992 年获英国曼彻 斯特大学计算机科学博士学位。现是日本广岛大学计算机科学教授。曾先后在中国，英 国，以及日本的 9 所大学从事研究和教学工作，包括西安交大，曼彻斯特大学，约克大 学，伦敦大学（Royal Holloway 学院），贝尔法斯特女皇大学，牛津大学，广岛市立大 学，法政大学，以及广岛大学。主要研究领域包括软件工程，软件开发的形式化工程方 法，软件设计方法，程序验证，软件测试，以及智能软件工程环境。从 1994 年以来，已 领导和主持由日本文部科学省及 JSPS，国立信息研究所（NII）, 大川情报科学财团，以及 日本信号，NTT Data, 和三菱电机等日本政府，财团和大企业分别资助的 20 多个研究项 目，创立和发展了``软件开发的形式化工程方法’’的新领域，研制开发了 SOFL 形式化规约 描述语言和方法,首次把结构化,面向对象以及形式化方法有机结合,形成了更加适合于人 的思维方式的有效的开发方法，由 Springer 出版专著 2 本，编著由 IEEE CS Press 和 Springer LNCS 系列等出版的论文集 15 本，在国际学术期刊和国际会议发表 300 多篇论 文。曾被 Journal of Systems and Software 评为 1993 年至 1996 年期间的在系统和软 件工程领域的世界 top 15 名学者之一，获得 1996 年 IEEE 国际会议 ICECCS’96 授予的 优秀论文奖，2011 年中国国家示范软件学院十佳兼职教师奖，IEEE 可靠性协会日本分会 的 2016 年最佳论文奖， 2018 年的 20 年 ICFEM 最有影响研究者奖，日本信息处理学会 软件工程研究会的 2020 年和 2022 年的卓越研究奖两次,2024 年 IEEE 国际会议 DSA 2024 的特别成就奖。曾多次担任 ICFEM，ICECCS 等国际会议的大会主席和程序委员会主席， 以及数目繁多的国际会议的 PC 委员，被欧，美，亚，奥等地区的 70 多个大学和研究机 关以及国际会议邀请多次作学术报告，在 ICECCS 2014, QRS 2015，ISSSR 2020, ICCTA 2022,以及 DSA 2024 等十多个国际会议作主旨报告,应包括北京大学,南京大学,上海交 大,西安交大,四川大学,西北工业大学以及东北大学在内的 10 多个国内的大学教授软件 形式化工程方法的课程.曾任 Software Testing, Verification and Reliability,  IEEE Transactions on Reliability，Innovations of Systems and Software  Engineering 等学术期刊的 Associate Editor。是 IEEE Fellow, 英国计算机协会 (BCS)Fellow, Asia-Pacific Artificial Intelligence Association (AAIA) Fellow, 日本信息处理学会和日本电子通信学会会员。