特色：
国内**本系统阐述“契约式设计”思想和方法的译作，深刻理解和充分发挥契约在面向对象软件设计中的作用。本书通过Eiffel、Java实例透彻分析DbC思想方法。引入DbC六大原则和六大准则，指导你的应用实践。精辟分析DbC在C/C++语言中的应用。
全书分为12章。通过实例探讨了DbC的基本概念，引入了DbC的六大原则和六大准则，展示了六大原则的应用，分析了DbC和继承的关系，介绍了框定规则、DbC的好处和限制、观察者框架中的契约和先验条件检验；*后给出了一个Java范例，并探讨了契约在分析模型中的应用。附录部分是译者专门为C/C++程序员撰写的，提出用C/C++进行契约式设计的指导和建议。本书适合面向对象软件工程师和面向对象语言程序员阅读。