Design by contract: differenze tra le versioni

Versione delle 01:53, 27 feb 2013

Versione delle 01:10, 20 ott 2013

Riga 18:

* [[Precondizione|Precondizioni]]

* [[Postcondizione|Postcondizioni]]

* [[Invariante_(informatica)|Invarianti]]

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