The Design by Contract technique stresses the importance of explicitly specifying the constraints that hold before and after a software component executes.

The Design by Contract (DBC) theory can dramatically raise software quality and reusability levels by forcing you to think in terms of contracts. Contracts formally specify the responsibility ...