刘少英软件工程讲座PPT，内容主要为形式化方法在软件工程中的应用，以及自动化编程等内容，为软件工程中的前沿理论。