2018-4-2 阿布瑞尔开设《可信软件开发课程》

课程题目：《可信软件开发课程》

授课老师：Jean-Raymond Abrial 院士/教授

主 持 人：朱惠彪、李钦

授课日期：2018年4月至5月；每周一、周四

授课时间：18:00~20:30

授课地点：中北三馆153

授课老师简介：

       简-埃蒙德 阿布瑞尔(Jean-Raymond Abrial)，法国计算机科学家，欧洲科学院院士，苏黎世联邦理工学院教授、华东师范大学紫江教授。他是安全攸关软件开发领域的主要奠基人，是将软件形式化方法成功应用于工业界的先驱者。阿布瑞尔教授荣获2015年度上海市国际科技合作奖和2016年度中华人民共和国国际科学技术合作奖。

课程简介：

       人类已经进入信息与智能时代，随着软件系统智能程度与应用领域的不断扩展，越来越多的日常生活受到智能软件的影响，这为人类的生产生活提供了便利，同时也提出了更加严峻的挑战。如何通过系统的方法保障软件可信性，使得软件系统按照用户预期正确安全高效的运行，已然成为当今软件设计与开发的重要课题。

       本课程讲授基于模型驱动的可信软件形式化开发方法Event-B及其工具Rodin，并结合大量的系统开发实例，引导学生熟悉和掌握基于模型和程序精化理论的软件系统设计与开发方法，并通过严格的数学证明和逻辑推演，对软件系统的正确性与可信性进行保障。

阿布瑞尔（Jean-Raymond Abrial）授课海报

授课现场（一）

授课现场（二）

 授课现场（三）

  授课现场（四）