« Postcondition » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 16 : | Ligne 16 : | ||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : Utexas Ai vocabulary ] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : Utexas Ai vocabulary ] | ||
[[Catégorie: | [[Catégorie:ENGLISH]] | ||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Version du 31 mars 2021 à 09:57
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
