报告题目: |
Formal Engineering Methods for Software Quality Assurance |
报告人: |
Shaoying Liu |
|
Professor
Department of Computer Science, Hosei University，JAPAN
|
报告时间: |
2009-07-03 10:00 |
报告地点: |
软件学院教学楼222# |
主办单位: |
软件学院 |
简介: |
Abstract
Conventional software engineering on the basis of informal or semi-formal
methods is facing tremendous challenges in ensuring software quality.
Formal methods have attempted to address those challenges by introducing
mathematical notation and calculus to support formal specification,
refinement, and verification in software development. The theoretical
contributions to the discipline of software engineering made by formal
methods researchers are significant. However, in spite of their potential in
improving the controllability of software process and reliability, formal
methods are generally difficult to apply to large-scale and complex systems
in practice because of many constraints (e.g., limited expertise, complexity,
changing requirements, and theoretical limitations).
We have developed the "Formal Engineering Methods" (FEM) as a research
area since 1990 to study how formal methods can be effectively integrated
into conventional software engineering process. The effective combination
of these three techniques can significantly enhance software productivity
and quality. The SOFL method has also achieved a good balance among the
qualities of simplicity, visualization, and preciseness to allow engineers
to easily use the method. In this talk, I will first give a
brief introduction to FEM and then focus on the issue of how FEM is used for
software quality assurance.
Bio:
Since April 2001, Shaoying Liu has been a full Professor at the Department of Computer Science, Faculty of Computer and Information Sciences at Hosei University, Japan. His research interests include Formal Engineering Methods, Software Development Methodology, Software Inspection, Software Testing, Dependable Complex Computer Systems, and Intelligent Software Engineering Environments. He has published a book titled "Formal Engineering for Industrial Software Development Using the SOFL Method" with Springer-Verlag, three editored conference proceedings, and over 80 academic papers in refereed journals and international conferences.
Prof Liu has served as General Chairs and/or Program Chairs for many international conferences and as program committee members of numerous international conferences, and is currently serving on the editorial board for the Journal of Testing, Verification and Reliability. He founded the IEEE International Conference on Formal Engineering Methods (ICFEM)in November 1997. He has also served as the Vice Chair for the IEEE Computer Society Technical Committee on Complexity in Computing since 2000 and is currently on the Advisory Board of International Colloquium on Theoretical Aspects of Computing (ICTAC). |
|
