Postcondition


(Redirigé depuis Postulat de sortie)

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



Contributeurs: Isaline Hodecent, wiki