design by contract Synonyms

DBC contract programming programming by contract