« Postcondition » : différence entre les versions

Version du 31 mars 2021 à 08:37

Assertion s'appliquant à un point qui, dans la séquence d'exécution normale, suit immédiatement une partie du programme.

précondition

postulat de sortie

postcondition

Source : Le grand dictionnaire terminologique

@@ Ligne 1 : / Ligne 1 : @@
-== en construction ==
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle‏‎]]
-[[Catégorie:UTexas‏‎]]
 == Définition ==
-xxxxxxx
+Assertion s'appliquant à un point qui, dans la séquence d'exécution normale, suit immédiatement une partie du programme.
 == Français ==
-xxxxxxx
+'''précondition'''
+'''postulat de sortie'''
 == Anglais ==
-'''postcondition '''
+'''postcondition'''
-a fact or set of facts that will be true after an action has been taken.
 <small>
+[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8355463  Source : Le grand dictionnaire terminologique ]
 [https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]
+[[Catégorie:Publication]]
+[[Catégorie:Intelligence artificielle‏‎]]
+[[Catégorie:UTexas‏‎]]