Wiktionary
contract programming
n. (context software design English) (synonym of design by contract English)