简介 · · · · · ·
本书通过Eiffel和Java实例，阐述了"契约式设计（Design by Contract）"的思想原则和应用方法，帮助读者掌握如何在面向对象软件设计过程中应用契约。
全书分为12章。通过实例探讨了DbC的基本概念，引入了DbC的六大原则和六大准则，展示了六大原则的应用，分析了DbC和继承的关系，介绍了框定规则、DbC的好处和限制、观察者框架中的契约和先验条件检验；最后给出了一个Java范例，并探讨了契约在分析模型中的应用。附录部分是译者专门为C/C++程序员撰写的，提供用C/C++进行契约式设计的指导和建议。
本书适合面向对象软件工程师和面向对象语言程序员阅读。
全书分为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发表过很多关于：“契约式设计”和相关话题的文章。
Jim Mckim 是Rensselaer理工研究所工程与科学院教授兼院长，从事面向对象软件开发的教学和咨询已经有10年多时间。
两位作者都曾经在Journal of Object-Oriented Programming和IEEE Comprting发表过很多关于：“契约式设计”和相关话题的文章。
豆瓣成员常用的标签(共10个) · · · · · ·
喜欢读"这本书"的人也喜欢: · · · · · ·
在哪儿买这本书? · · · · · ·
以下豆列推荐 · · · · · ·
谁读这本书?
