![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/e/ea/Design_by_contract.svg/langit-640px-Design_by_contract.svg.png&w=640&q=50)
Design by contract
Da Wikipedia, l'enciclopedia encyclopedia
Design by contract (in sigla: DBC ) o progettazione per contratto è una metodologia per progettare il software. Prescrive che i progettisti di software debbano definire specifiche precise e verificabili delle interfacce dei componenti software, basandosi sulla teoria dei tipi di dati astratti e sulla metafora di un contratto legale.
Questa voce o sezione sull'argomento ingegneria del software non cita le fonti necessarie o quelle presenti sono insufficienti.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ea/Design_by_contract.svg/320px-Design_by_contract.svg.png)