本书凝聚作者多年的实践和教学经验，通过Eiffel和Java的实例阐述了DBC的主要原则，并教读者如何实践这些原则，撰写优质高效的契约。译者孟岩还特别撰写了《契约式设计的理解及其在C/C++中的应用》作为本书的附录，讨论了DBC在C/C++语言中的应用。
什么是 DbC?
Design by Contract（DBC，契约式设计）是面向对象软件大师Bertrand Meyer对软件构造方法的一个重大贡献，无论是在形式化的数学证明中，还是在实践运用中，都被证明是大幅改善软件工程质量的有效手段。该方法在Eiffel编程语言中获得直接支持，并且可以通过辅助工具在Java语言中运用。
国内第一本系统阐述“契约式设计”思想和方法的译作
深刻理解和充分发挥契约在面向对象软件设计中的作用
|