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