Download or read book Design by Contract, by Example written by Richard Mitchell and published by Addison-Wesley Professional. This book was released on 2002 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt: Design by Contract is a general approach to software design that dramatically improves the quality of the resulting products. This book provides an example-based approach to learning the powerful concept of Design by Contract.