Invariant de classe
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En programmation informatique, un invariant de classe est un invariant utilisé pour contraindre des objets d'une classe. Pour chaque instanciation, l'invariant est préservé avant et après l'appel des méthodes de la classe.
Liens externes[modifier | modifier le code]
- (en) The benefits of object-oriented programming using class invariants, Philip Guo (Stanford University), 2008.
