报 告 人: 刘少英教授[日本法政大学计算机科学系]
报告时间: 2014年7月 29日（周二）9:30～11:00
报告地点: 校本部东区计算机大楼901室
邀 请 人: 缪淮扣 教授
Abstract：
While formal methods have proved to be a heavy approach to software development with many limitations in practice, agile methods proposed in the literature provide some effective managerial strategies for carrying out activities in software development. The two schools seem to advocate opposite principles. In this talk I will first explain that formal methods and agile methods are actually friend rather than enemy, and then discuss how the SOFL three-step specification approach together with specification animation techniques will achieve agile effect in developing both software specifications and final programs.
Biography：
Shaoying Liu(刘少英) 教授，日本著名计算机专家，日本法政大学教授，上海大学计算机工程与科学学院客座教授。早年在西安交通大学获得学士和硕士学位，后在英国曼彻斯特大学获得博士学位。现为IEEE计算机学会复杂性技术委员会副主席，IEEE计算机学会、ACM、日本软件科学与技术学会成员。多年来，他在计算机科学的许多领域，包括形式化工程方法、软件开发方法学、软件测试、可靠复杂的计算机系统和智能软件工程环境等方面做出了重要贡献。他在著名国际杂志及会议发表学术论文100多篇，出版研究专著4部，包括在Springer出版了专著《Formal Engineering for Industrial Software Development》。他是国际大会的主席。多次在国内外的多所大学讲学,作学术报告。