Extreme Design by Contract


Extreme Design by Contract

Yishai A. Feldman
Efi Arazi School of Computer Science
The Interdisciplinary Center, Hezrliya


Design by contract is a practical technique for developing code together with its (light-weight and executable) specification. It is synergistic with several XP practices, particularly unit testing and refactoring. This paper investigates this relationship and points out how it can be automated (at least in part).

Supporting Materials