Design by contract: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 16:
* Effetti collaterali
* [[Precondizione|Precondizioni]]
* [[
* Invarianti
* (Raramente) Garanzie di prestazioni, cioè sul tempo e lo spazio utilizzati
| |||