programming by contract

From Wiktionary, the free dictionary