Synonymes de postcondition

Cliquez sur un nœud · Scroll pour zoomer
Définition
nom
  1. Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique.
  2. En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction.
Votre phrase
mot et ses synonymes surlignés en dessous
✦ 0 correspondance(s) 0 mot
Synonymes par nuances
Synonymes
(Aucun synonyme n’est encore référencé, nous y travaillons)
Antonymes
Exemples d'usage
La postcondition de la somme de deux nombres positifs est que cette somme doit être positive.
Les postconditions vont permettre de continuer la poursuite du programme ou lever une exception quand la postcondition n’est pas remplie.
Expressions et locutions
Mode Libre —

Contact

Une idée, un bug, une collaboration ? Écrivez-nous.