当前位置: 学术动态

日本法政大学刘少英教授学术报告

发表时间: 2016-8-29 17:10:00     访问量:

    报告时间:2016年8月31日上午 9:30—11:30 
    报告地点:先骕楼 国家网络化支撑软件国际合作基地(4-4512室) 
    报告题目:Testing-Based Formal Verification: A New and Practical Approach for Software Reliability Assurance 
    报告人: 刘少英教授(日本法政大学) 
    报告人简介: 
    Shaoying Liu is a Professor of Software Engineering at Hosei University, Japan. His research interests include formal engineering methods, specification-based program inspection and testing, and intelligent software engineering environments. He has published a book entitled “Formal Engineering for Industrial Software Development Using the SOFL Method” (Springer-Verlag), 8 edited conference proceedings, and more than 150 academic papers in refereed journals and international conferenced. He proposed to use the terminology of “Formal Engineering Methods” in 1997, and has established Formal Engineering Methods as a research area based on his extensive research on the Structured Object-Oriented Formal language (SOFL) and the development of the ICFEM conference series since 1997. In recent years, he has been serving as the Steering Committee Chair for ICFEM conferences, and on the editorial board for the Journal of Software Testing, Verification and Reliability (STVR). He is a fellow of the British Computer Society, a senior member of IEEE, and member of the Japan Society for Software Science and Technology.