Design by Contract原则与实践

《Design by Contract原则与实践》分为12章。通过实例探讨了DbC的基本概念，引入了DbC的六大原则和六大准则，展示了六大原则的应用，分析了DbC和继承的关系，介绍了框定规则、DbC的好处和限制、观察者框架中的契约和先验条件检验；最后给出了一个Java范例，并探讨了契约在分析模型中的应用。附录部分是译者专门为C/C++程序员撰写的，提出用C/C++进行契约式设计的指导和建议。《Design by Contract原则与实践》适合面向对象软件工程师和面向对象语言程序员阅读。