Versione delle 00:10, 24 giu 2009 modifica Pava (discussione \| contributi) 21 421 modifiche Nessun oggetto della modifica ← Differenza precedente		Versione delle 00:10, 24 giu 2009 modifica annulla Pava (discussione \| contributi) 21 421 modifiche Nessun oggetto della modifica Differenza successiva →
Riga 21: Usando la metodologia DBC, in caso di codice scritto a malo modo, il codice stesso del programma presumibilmente non verificherà le condizioni del contratto; la codifica in tal caso fallirà, avendo la verifica del contratto come rete di sicurezza. (Questo si pone in netto contrasto con la metodologia della ''programmazione difensiva''.) Questo facilita molto il debugging, perché il comportamento inteso di ogni routine viene specificato chiaramente. {{Portale:\|informatica}} [[Categoria:Metodologie di sviluppo]]

Design by contract: differenze tra le versioni