本书介绍系统与语言的规约的基本原理和技术。
2007.
本书介绍抽象与建模的基本原理和技巧。
本书介绍软件开发的基本原理和技巧。
本书对软件工程的基础知识（包括面向对象和传统方法）进行了严谨和全面的介绍，是软件工程领域的经典著作，...
2007.02
本书全面系统介绍软件工程有关的概念、原则和工具，还适当介绍了新技术。
2006.06