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