Design by Contract is a general approach to software design that dramatically improves the quality of the resulting products. This book provides an example-base