简介 · · · · · ·
全书分为12章。通过实例探讨了DbC的基本概念，引入了DbC的六大原则和六大准则，展示了六大原则的应用，分析了DbC和继承的关系，介绍了框定规则、DbC的好处和限制、观察者框架中的契约和先验条件检验；最后给出了一个Java范例，并探讨了契约在分析模型中的应用。附录部分是译者专门为C/C++程序员撰写的，提出用C/C++进行契约式设计的指导和建议。本书适合面向对象软件工程师和面向对象语言程序员阅读。
作者简介 · · · · · ·
Richard Mitchell是InferData公司的高级顾问，专门从事面向对象分析和设计。他曾经担任英国Brighton大学计算机系教授，长期从事面向对象技术的研究和教学。
喜欢读"Design by Contract原则与实践"的人也喜欢 · · · · · ·
