应软件学院邀请，瑞士苏黎世联邦理工学院Jean-Raymond Abrial教授于11月10日至12日来我校访问交流。

      11日上午，Abrial教授在北校区阶教608教室做了题为“Software and System developments using Formal Models, Refinements, and Proofs with Event-B”学术报告。报告会上，Abrial教授介绍了在系统开发中形式化方法建模的作用，并和UML做了对比，着重讲解了Event-B背后坚实的语义基础。随后围绕着自己近年来发起的Rodin平台讨论了Event-B的作用，以实际的案例演示了其应用场景。11日下午，在北校区老科技楼A918软件所会议室，举办了形式化方法学术研讨交流会，软件所的老师和同学及计算机学院段振华教授、田聪副教授和博士研究生参加了讨论，围绕Event-B、Rodin Platform作了进一步深入探讨。

      Jean-Raymond Abrial是国际著名软件和软件理论专家，Z语言和B方法的创建者，软件形式化开发领域的最主要奠基人之一。参与和指导了欧洲许多重要的关键性软件开发项目。其开发的B软件开发方法被欧洲等地区的许多重要企业和部门（如欧洲航天局、西门子、阿尔斯通等）用于轨道交通、高铁、航空、电站等重要领域的信号、控制、调度、自动驾驶等各种关键性系统的建模、验证和系统开发。近年领导和参与B方法后继的 Event-B开发和应用的欧共体项目，其参与开发的Event-B公开免费工具Rodin 已被全世界软件/硬件和其他领域的许多理论和实际工作者使用。

                                                                                                                                      （软件学院、国际合作与交流处）