DbC - Design by Contract

Également connu sous les noms de « contract programming », « programming by contract » et « design-by-contract programming » (en français : Programmation par contrat). C'est une méthode de programmation semi-formelle dont le but principal est de réduire le nombre de bugs dans les programmes.