本书介绍系统与语言的规约的基本原理和技术。
2007.
本书介绍抽象与建模的基本原理和技巧。
2007.
本书介绍软件开发的基本原理和技巧。
2007.
本书对软件工程的基础知识（包括面向对象和传统方法）进行了严谨和全面的介绍，是软件工程领域的经典著作，...
2007.02
本书最新版不仅融合了软件工程领域近年来所取得的技术发展和实践，而且还阐述了如何把这些技术应用到实际的...
2011.
本书由浅入深、循序渐进地介绍了规范化的软件开发方法——共同演进的方法。内容包括过程模型、软件需求、设计...
2012.1
本书全面系统介绍软件工程有关的概念、原则和工具，还适当介绍了新技术。
2006.06
本书全面系统介绍软件工程有关的概念、原则和工具，还适当介绍了新技术。
2006.06
本书通过严格的形式化方法和非形式化方法阐述了软件工程原则和方法的重要性，有选择地介绍了软件工程基础；...
2006.