Design by Contract原则与实践 (2008 年度畅销榜NO.22788 )

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

第1章 契约式设计初探 \r\n 1.1 概述 \r\n 1.2 顾客管理器范例 \r\n 1.3 一些问题 \r\n 1.4 CUSTOMER_MANAGER的契约 \r\n 1.5 临时总结 \r\n 1.6 运行时检测 \r\n 1.7 可靠的文档 \r\n 1.8 小结 \r\n 1.9 一言以蔽之 \r\n 1.10 下一步工作 \r\n第2章 契约式设计的基本原则 \r\n 2.1 关于本章 \r\n 2.2 栈 \r\n 2.3 区分命令和查询 \r\n 2.4 命名规范 \r\n 2.5 区分基本查询和派生查询 \r\n 2.6 说明命令对基本查询的影响 \r\n 2.7 用不变式确定恒定特性 \r\n 2.8 类及其契约 \r\n 2.9 基本查询是栈的一个概念模型 \r\n 2.10 六大原则 \r\n 2.11 下一步工作\r\n第3章 运用六大原则 \r\n 3.1 关于本章 \r\n 3.2 字典 \r\n 3.3 特性分离与分类 \r\n 3.4 后验条件 \r\n 3.5 先验条件 \r\n 3.6 不变式 \r\n 3.7 关于字典的完整的契约级概括 \r\n 3.8 小结 \r\n 3.9 练习 \r\n第4章 契约的构造支持类-- 不可变列表 \r\n 4.1 关于本章 \r\n 4.2 支持线性结构 \r\n 4.3 契约只涉及表达式 \r\n 4.4 不可变列表 \r\n 4.5 不可变列表的契约 \r\n 4.5.1 基本查询 \r\n 4.5.2 创建命令 \r\n 4.5.3 派生查询count \r\n 4.5.4 派生查询preceded_by \r\n 4.5.5 派生查询item \r\n 4.5.6 派生查询is_equal \r\n 4.5.7 派生查询sublist \r\n 4.6 小结 \r\n 4.7 练习 \r\n第5章 六大原则在QUEUE设计中的运用 \r\n 5.1 关于本章 \r\n 5.2 队列 \r\n 5.3 remove特性的契约 \r\n 5.4 将count作为一个派生特性 \r\n 5.5 initialize特性的契约 \r\n 5.6 head特性的契约 \r\n 5.7 put特性的契约\r\n 5.8 更多派生查询 \r\n 5.9 小结 \r\n 5.10 练习 \r\n第6章 契约式设计与继承 \r\n 6.1 关于本章 \r\n 6.2 超类和子类 \r\n 6.3 重新定义契约 \r\n 6.3.1 eiffel语法 \r\n 6.3.2 小结 \r\n 6.4 不变式和继承 \r\n 6.5 以被确保的后验条件定义超类 \r\n 6.6 两种继承 \r\n 6.7 小结 \r\n 6.8 练习 \r\n第7章 框定规则 \r\n 7.1 关于本章 \r\n 7.2 变化规格和框定规则 \r\n 7.3 使用不可变列表为put撰写框定规则 \r\n 7.4 使用'forall'为put撰写框定规则 \r\n 7.5 框定规则的类别 \r\n 7.6 练习 \r\n 7.7 关于预处理器的补充说明 \r\n第8章 契约式设计的收益 \r\n 8.1 关于本章 \r\n 8.2 几种优点 \r\n 8.3 更优秀的设计 \r\n 8.4 提高可靠性 \r\n 8.5 更出色的文档 \r\n 8.6 简化调试 \r\n 8.7 支持复用 \r\n 8.8 契约式设计与防御性编程 \r\n 8.8.1 防止程序接受错误的输入 \r\n 8.8.2 给程序穿上'防弹衣' \r\n 8.8.3 防御性编程 \r\n 8.9 契约的一些开销和限制 \r\n第9章 观察者(observer) 框架中的契约 \r\n 9.1 关于本章 \r\n 9.2 观察者框架 \r\n 9.3 不可变集合 \r\n 9.4 观察者的系缚和解缚 \r\n 9.5 通知（一个观察者） \r\n 9.6 通知（多个观察者） \r\n 9.7 性能问题 \r\n 9.8 框定规则 \r\n 9.9 保密 \r\n 9.10 练习 \r\n第10章 满足先验条件 \r\n 10.1 关于本章 \r\n 10.2 例子 \r\n 10.3 满足并测试先验条件 \r\n 10.4 测试与检验 \r\n 10.5 一个简单的计数器类 \r\n 10.6 从用户角度看示例程序 \r\n 10.7 程序的内部结构 \r\n 10.8 程序的执行情况 \r\n 10.9 一个次要的细节 \r\n 10.10 小结 \r\n 10.11 练习 \r\n第11章 Java范例\r\n 11.1 关于本章 \r\n 11.2 为什么选择Java \r\n 11.3 队列 \r\n 11.3.1 基本查询size() \r\n 11.3.2 基本查询get() \r\n 11.3.3 基本查询head() \r\n 11.3.4 派生查询isEmpty() \r\n 11.3.5 派生查询shallow Copy() \r\n 11.3.6 构造方法Queue \r\n 11.3.7 命令put \r\n 11.3.8 命令remove \r\n 11.3.9 小结 \r\n 11.4 字典 \r\n 11.4.1 名字 \r\n 11.4.2 不变式 \r\n 11.4.3 基本查询 \r\n 11.4.4 一个派生查询 \r\n 11.4.5 命令 \r\n 11.4.6 构造方法 \r\n 11.4.7 一组实现类 \r\n 11.5 没有iContract的Java \r\n 11.6 测试先验条件 \r\n 11.7 练习 \r\n第12章 契约式分析 \r\n 12.1 关于本章 \r\n 12.2 一个用例 \r\n 12.3 分析模型中的契约 \r\n 12.4 withdrawCash用例的契约 \r\n 12.5 从分析到设计 \r\n 12.6 问题域和系统模型 \r\n 12.7 对象限制语言 \r\n 12.8 小结 \r\n 参考资料\r\n契约式设计的理解及其在C/C++语言中的运用\r\n什么是契约——EIFFEL的观点\r\n契约思想的一个反面案例\r\n索引\r\n

无封面