IDC
Extreme Design by Contract

Home

Extreme Design by Contract

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

Abstract

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