« Programmation/Programmation par contrat » : différence entre les versions
Contenu supprimé Contenu ajouté
rajouts de liens |
m correction lien |
||
Ligne 7 :
*Invariant : L'ensemble des conditions qui doivent être vérifiées à tout moment, y compris au sein d'un traitement.
Le seul langage de programmation qui implémente ce paradigme est le langage [[Programmation Eiffel
| |||