本书凝聚作者多年的实践和教学经验,通过Eiffel和Java的实例阐述了DBC的主要原则,并教读者如何实践这些原则,撰写优质高效的契约。译者孟岩还特别撰写了《契约式设计的理解及其在C/C++中的应用》作为本书的附录,讨论了DBC在C/C++语言中的应用。什么是DbC?DesignbyContract(DBC,契约式设计)是面向对象软件大师BertrandMeyer对软件构造方法的一个重大贡献,无论是在形式化的数学证明中,还是在实践运用中,都被证明是大幅改善软件工程质量的有效手段。该方法在Eiffel编程语言中获得直接支持,并且可以通过辅助工具在Java语言中运用。国内第一本系统阐述“契约式设计”思想和方法的译作深刻理解和充分发挥契约在面向对象软件设计中的作用本书特色:通过Eiffel、Java实例透彻分析DbC思想方法。引入DbC六大原则和六大准则,指导你的应用实践。精辟分析DbC在C/C++语言中的应用。本书通过Eiffel和Java实例,阐述了“契约式设计(DesignbyContract)”的思想原则和应用方法,帮助读者掌握如何在面向对象软件设计过程中应用契约。全书分为12章。通过实例探讨了DbC的基本概念,引入了DbC的六大原则和六大准则,展示了六大原则的应用,分析了DbC和继承的关系,介绍了框定规则、DbC的好处和限制、观察者框架中的契约和先验条件检验;最后给出了一个Java范例,并探讨了契约在分析模型中的应用。附录部分是译者专门为C/C++程序员撰写的,提供用C/C++进行契约式设计的指导和建议。本书适合面向对象软件工程师和面向对象语言程序员阅读。第一章试读第8章精彩节选