design by contract

1 post