Définition de postcondition

n. f.
[PROG] assertion placée dans le code source de sorte qu'elle soit évaluée juste avant un point de sortie de fonction [NM].
Article lié à celui-ci :
assertion
Articles voisins :
POS - position squatting
- POSIX - POST - postcardware - poste de travail - Postel Jon
- poster - postfixe - postier

Définition fournie par Le Jargon Français