Design by Contract, by Example

Design by Contract, by Example Using both the Eiffel and Java languages as guidance, this book paves the way to learning Design by contract. This text demonstrates how to write effective contracts and supporting guidelines, and discusses the benefits, as well as the potential drawbacks, of this programming concept. Full description