Synonymes de postcondition
/pɔst.kɔ̃.di.sjɔ̃/
- nom
Publicité
★ Synonymes
État ou condition requise après une action (informatique, logique)
- condition finale
- condition de sortie
- état résultant
- exigence post-exécution
- contrainte de résultat
Vérification ou garantie après un processus (génie logiciel)
- assertion de sortie
- prédicat final
- invariant de sortie
- spécification de résultat
- contrat postérieur
Condition ultérieure (syntaxe générale, hors informatique)
- condition subséquente
- exigence ultérieure
- prérequis de fin
- critère d'achèvement
- condition de finalisation
Contexte mathématique ou formel
- postulat de sortie
- propriété post-conditionnelle
- conséquence nécessaire
- condition nécessaire après coup
- théorème de sortie
≡ Synonymes
Aucun synonyme répertorié pour ce mot dans le Wiktionnaire.
↔ Contraires
Tous les sens
- Condition appliquée au début d’un calcul et permettant de valider le résultat d’une fonction mathématique.