Contract (software)
Redirect to:
Design by contract