Design by contract, also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software. Wikipedia