本书通过严格的形式化方法和非形式化方法阐述了软件工程原则和方法的重要性，有选择地介绍了软件工程基础；强调并确定了适用于整个软件生命期的基本原则，全面深入地介绍了这些基本原则在软件设计、规范、验证、软件生产过程和管理活动中的运用；书中提供了大量的练习和案例分析，既有助于理解书中介绍的理论知识，又可以让读者亲身体验如何应对复杂的实现问题。 本书可以作为大专院校计算机科学系和计算机工程系的本科生和研究生教材，也可以作为计算机软件人员和计算机用户的参考书。