Design by contract

Approach for designing software From Wikipedia, the free encyclopedia