Design by contract o progettazione per contratto è una metodologia per progettare il software. Wikipedia

Approccio alla progettazione di software per computer che prescrive che i progettisti di software definiscano le precise specifiche di interfaccia verificabili per i componenti software basati sulla teoria dei tipi di dati astratti e nella metafora concettuale di un contratto commerciale. OmegaWiki