postcondition
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Assertion s'appliquant à un point qui, dans la séquence d'exécution normale, suit immédiatement une partie du programme.
Termes privilégiés :
- postcondition n. f.
- postulat de sortie n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- postcondition