Postcondition

Modèle:Langue

Modèle:S

Modèle:Composé de.

Modèle:S

Modèle:Fr-rég postcondition Modèle:Pron Modèle:F

1. Modèle:Lexique Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique.
   • La postcondition de la somme de deux nombres positifs est que cette somme doit être positive.
   • Modèle:Exemple
2. Modèle:Lexique En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction.
   • Les postconditions vont permettre de continuer la poursuite du programme ou lever une exception quand la postcondition n’est pas remplie.

Modèle:S

• précondition

Modèle:S

• programmation par contrat

Modèle:S

• Modèle:T : Modèle:Trad-

Modèle:S

• Modèle:Écouter
• Modèle:Écouter

Modèle:S

• Modèle:WP