« Postcondition » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 3 : | Ligne 3 : | ||
== Français == | == Français == | ||
''' | '''postcondition''' | ||
'''postulat de sortie''' | '''postulat de sortie''' | ||
Version du 31 mars 2021 à 09:37
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
