Design by contract: differenze tra le versioni

Versione delle 09:02, 6 ago 2005

Versione delle 02:03, 24 feb 2006

Riga 13:

* Valori resi, e il loro significato

* Condizioni erronee o eccezionali che possono avvenire

* Effetti collatoralicollaterali

* Precondizioni

* Postcondizioni