Design by Contract原则与实践/(美)米切尔(Richard Mitchell),(美)麦吉姆(Jim Mckim), 孟岩
附件:设置1:设置2:麦吉姆设置3:设置4:本书共分12章，通过Eiffel和Java实例，阐述了“契约式设计(Design by Contract)”的思想原则和应用方法，探讨了DbC的基本概念，引入了DbC的六大原则和六大准则，展示了六大原则的应用，分析了DbC和继承的关系，介绍了框定规则、DbC的好处限制、观察者框架中的契约和先验条件检验，最后给出了一个Java范例，并探讨了契约在分析模型中的应用。
附注提要
本书共分12章，通过Eiffel和Java实例，阐述了“契约式设计(Design by Contract)”的思想原则和应用方法，探讨了DbC的基本概念，引入了DbC的六大原则和六大准则，展示了六大原则的应用，分析了DbC和继承的关系，介绍了框定规则、DbC的好处限制、观察者框架中的契约和先验条件检验，最后给出了一个Java范例，并探讨了契约在分析模型中的应用。