Design by contract: differenze tra le versioni

Versione delle 12:35, 4 set 2012

Versione delle 19:56, 18 gen 2013

Riga 15:

* Condizioni erronee o eccezionali che possono avvenire

* Effetti collaterali

* [[Precondizione|Precondizioni]]

* [[Porstcondizione|Postcondizioni]]

* Invarianti

* (Raramente) Garanzie di prestazioni, cioè sul tempo e lo spazio utilizzati