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).