Design by Contract, Components and Debugging

Bertrand Meyer. Design by Contract, Components and Debugging. JOOP, 11(8):75-79, 1999.

Abstract

Abstract is missing.