Postcondition


Révision datée du 28 janvier 2024 à 11:45 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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


Sources

Source : Le grand dictionnaire terminologique

Source : Utexas Ai vocabulary

Récupérée de « https://datafranca.org/wiki/index.php?title=Postcondition&oldid=91585 »

Contributeurs: Isaline Hodecent, wiki