Design by contract: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
smistamento lavoro sporco |
|||
Riga 28:
*[[Invariante (informatica)|invariante]]
*[[invariante di classe]]
*[[asserzione (informatica)
{{Portale|informatica}}
|