« Postcondition » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (2 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 3 : | Ligne 3 : | ||
== Français == | == Français == | ||
''' | '''postcondition''' | ||
'''postulat de sortie''' | '''postulat de sortie''' | ||
| Ligne 11 : | Ligne 11 : | ||
==Sources== | |||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8355463 Source : Le grand dictionnaire terminologique ] | [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 ] | [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]] | ||
Dernière version du 28 janvier 2024 à 12:45
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
Contributeurs: Isaline Hodecent, wiki
