Postcondition

La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

Définition

Assertion s'appliquant à un point qui, dans la séquence d'exécution normale, suit immédiatement une partie du programme.

Français

postcondition

postulat de sortie

Anglais

postcondition

Sources

Source : Le grand dictionnaire terminologique

Source : Utexas Ai vocabulary