Accueil > Dictionnaire > Définitions du mot « postcondition »
Postcondition
[pɔstkɔ̃disjɔ̃]
Définitions de « postcondition »
Postcondition - Nom commun
-
(Programmation et Mathématiques) Condition ou propriété devant être vérifiée à l'issue d'une fonction ou d'un calcul afin de valider son résultat.