本书通过Eiffel和Java实例,阐述了"契约式设计(Design by Contract)"的思想原则和应用方法,帮助读者掌握如何在面向对象软件设计过程中应用契约。 全书分为12章。通过实例探讨了DbC的基本概念,引入了DbC的六大原则和六大准则,展示了六大原则的应用,分析了DbC和继承的关系,介绍了框定规则、DbC的好处和限制、观察者框架中的契约和先验条件检验;最后给出了一个Java范例,并探讨了契约在分析模型中的应用。附录部分是译者专门为C/C++程序员撰写的,提供用C/C++进行契约式设计的指导和建议。 本书适合面向对象软件工程师和面向对象语言程序员阅读。
作者简介 · · · · · ·
Richard Mitchell是InferData公司的高级顾问,专门从事面向对象分析和设计。他曾经担任英国Brighton大学计算机系教授,长期从事面向对象技术的研究和教学。 Jim Mckim 是Rensselaer理工研究所工程与科学院教授兼院长,从事面向对象软件开发的教学和咨询已经有10年多时间。 两位作者都曾经在Journal of Object-Oriented Programming和IEEE Comprting发表过很多关于:“契约式设计”和相关话题的文章。