Postcondition
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
Contributeurs: Isaline Hodecent, wiki