Design by contract: differenze tra le versioni

Versione delle 14:47, 20 ott 2013

Versione delle 13:59, 24 nov 2013

Riga 1:

{{F|informaticaingegneria del software|febbraio 2013}}

[[File:Design_by_contract.svg|miniatura|destra|Uno schema che rappresenta le informazioni delle specifiche funzionali o del contratto]]

'''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 [[tipo di dato astratto|tipi di dati astratti]] e sulla metafora di un [[contratto]] legale.