« 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 [[Programmation {{w|Eiffel (langage)|Eiffel]]}}, mais des modules existent pour d'autres langages, comme JContractor pour [[Programmation Java]].
 
{{AutoCat}}