大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » Design by Contract原则与实践
名称 Design by Contract原则与实践
索引号 610917
分类号
(| 08 环境公报)
作者 米切尔、 R.、麦金、 J.、孟岩、
出版社 北京 : 人民邮电出版社, 2003
ISBN 7-115-11570-2
页数 252页 : 图 ; 23cm
价格 CNY33.00
标签 软件设计、契约设计、设计、计算机、程序设计、designbycontract、design、软件、
简介
注解 据Addison-Wesley 2002年英文版译出・ 由Addison Wesley Longman公司授权人民邮电出版社出版・ 有书目 (第227-230页) 和索引 本书通过Đ¿Đ̌Đ̆Đ̆Đ̄Đ︡和Đ⁽Đ̀Đ̲Đ̀实例，阐述了“契约式设计（Đ♯Đ̄Đ̤Đ̌Đ̇Đ̋ŁŁĐ́Đ̮ŁŁĐ©Đ̐Đ̋Đ̥Đ̣Đ̀Đ̂Đ̥）”的思想原则和应用方法，帮助读者掌握如何在面向对象软件设计过程中应用契约・全书分为ĐłĐø章，通过实例探讨了Đ♯Đ́Đ©的基本概念，引入了Đ♯Đ́Đ©的六大原则和六大导则，展示了六大原则的应用，分析了Đ♯Đ́Đ©和继承的关系，介绍了框定规则、Đ♯Đ́Đ©的好处和限制、观察者框架中的契约和先验条件检验；最后给出了一个Đ⁽Đ̀Đ̲Đ̀范例，并探讨了契约在分析模型中的应用・
书籍简介

《Design by Contract原则与实践》是国内第一本系统阐述“契约式设计”思想和方法的译作，深刻理解和充分发挥契约在面向对象软件设计中的作用。《Design by Contract原则与实践》通过Eiffel、Java实例透彻分析DbC思想方法。引入DbC六大原则和六大准则，指导你的应用实践。精辟分析DbC在C/C++语言中的应用。