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