« Programmation/Programmation par contrat » : différence entre les versions
Contenu supprimé Contenu ajouté
Aucun résumé des modifications |
Aucun résumé des modifications |
||
Ligne 6 :
*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
{{AutoCat}}
|