全校师生：

我校定于2018年3月14日举办研究生灵犀学术殿堂——刘少英报告会，现将有关事项通知如下：

1.报告会简介

报告人：刘少英教授

时间：2018年3月14日（星期三）上午8：40（开始时间）

地点：友谊校区毅字楼218

主题：Agile SOFL: Agile Formal Engineering Method for Advanced Software Engineering

内容简介：With the rapid development and spreading applications of IoT systems, how to ensure the dependability and productivity of software adopted in IoT systems becomes a tremendous challenge to software engineering. In this talk, after reviewing and evaluating the most commonly used agile methods, model-driven methods, formal methods, and formal engineering methods, I will present a newly developed agile formal engineering method called Agile-SOFL and explain how it can be used for advanced software engineering in industry. In particular, I will focus on the introduction and discussion of the specific techniques involved in Agile-SOFL, including a three-step specification approach, specification animation for validation, incremental specification-based implementation, and testing-based formal verification. Finally, I discuss how Agile-SOFL can be efficiently supported by intelligent software engineering environment (ISEE) in the future.

2.欢迎各学院师生前来听报告。报告会期间请关闭手机或将手机调至静音模式。

党委研究生工作部

软件与微电子学院

2018年3月8日

报告人简介

刘少英，日本法政大学教授，英国曼切斯特大学计算机科学博士，英国计算机协会Fellow。先后在西安交通大学、英国约克大学、伦敦大学、贝尔法斯特女王大学、牛津大学等多所大学从事科研及教学工作。主要研究领域包括软件需求分析与设计、形式化工程方法、软件测试、程序自动化及智能软件工程环境。作为软件开发形式化工程方法领域的开拓者和主要研究人员，创立和发展了“软件开发的形式化工程方法”，研制开发了SOFL形式化工程开发语言和方法，由Springer出版专著一本，编著由IEEE CS Press和Spring LNCS系列出版论文集9本，在包括IEEE Transactions on Software Engineering，IEEE Transactions on Reliability等国际学术期刊和国际会议发表160余篇论文。历任多数国际会议大会主席，程序委员会主席及国际学术期刊的编委。曾获得多个荣誉奖项，曾被Journal of Systems and Software评为1993年至1996年期间在系统和软件工程领域的世界Top 15名学者之一。