计算机学院学术论坛报告
Academic Forum on Computer Science and Technology
特邀报告 第79期（总第201期）

主题报告：形式方法是"好的难得让人置信" ,实践是"糟糕透顶", 路在何方？
报 告 人：Professor Shaoying Liu（Hosei University，Japan）
报告时间：2012年1月 5日（周四）10:00～11:30
报告地点：上海大学 延长校区 行健楼707学术报告厅
邀 请 人：繆淮扣 教授
Abastract： Formal methods are "too good to be true" while conventional software engineering techniques including languages, methods, and tools are "too bad to be true" for the assurance of software productivity and reliability. In this talk, I will discuss the reasons from both the theoretical view and application view, and present an effective way to move forward. The proposed technology is Intelligent Software Engineering Environment (ISEE) based on Formal Engineering Methods (FEM). The principle, architecture, and future development directions of ISEE will be discussed.
Biography：Shaoying Liu is Professor at Hosei University, Japan. He received a Ph.D in Computer Science from the University of Manchester, U.K in 1992. His research interests include Formal Engineering Methods, Specification-based Inspection and Testing, and Intelligent Software Engineering Environments. He has published a book titled "Formal Engineering for Industrial Software Development" with Springer-Verlag, four edited conference proceedings, and over 120 academic papers in refereed journals and international conferences. He is the chair of Steering Committee for ICFEM conferences, and on the editorial board for the Journal of Software Testing, Verification and Reliability (STVR) and for ISRN Software Engineering Journal. He is a Fellow of British Computer Society, Senior member of IEEE Computer Society, and member of Japan Society for Software Science and Technology.