报 告 人: 刘少英教授[日本法政大学盘算机科学系]
报告时间: 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(刘少英) 教授，，，，日本著名盘算机专家，，，，日本法政大学教授，，，，8188cc威尼斯盘算机工程与科学学院客座教授。。。。。。早年在西安交通大学获得学士和硕士学位，，，，后在英国曼彻斯特大学获得博士学位。。。。。。现为IEEE盘算机学会重大性手艺委员会副主席，，，，IEEE盘算机学会、ACM、日本软件科学与手艺学会成员。。。。。。多年来，，，，他在盘算机科学的许多领域，，，，包括形式化工程要领、软件开发要领学、软件测试、可靠重大的盘算机系统和智能软件工程情形等方面做出了主要孝顺。。。。。。他在著名国际杂志及聚会揭晓学术论文100多篇，，，，出书研究专著4部，，，，包括在Springer出书了专著《Formal Engineering for Industrial Software Development》。。。。。。他是国际大会的主席。。。。。。多次在海内外的多所大学讲学,作学术报告。。。。。。
