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