« Postcondition » : différence entre les versions


Aucun résumé des modifications
Aucun résumé des modifications
Ligne 3 : Ligne 3 :


== Français ==
== Français ==
'''précondition'''
'''postcondition'''


'''postulat de sortie'''
'''postulat de sortie'''

Version du 31 mars 2021 à 08: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


Source : Le grand dictionnaire terminologique

Source : Utexas Ai vocabulary

Contributeurs: Isaline Hodecent, wiki