Précondition
(Redirigé depuis Postulat d'entrée)
Définition
Assertion s'appliquant à un point qui, dans la séquence d'exécution normale, précède immédiatement une partie du programme.
Les préconditions doivent être satisfaites avant le déclenchement de la règle.
Français
précondition
postulat d'entrée
Anglais
precondition
Sources
Contributeurs: Isaline Hodecent, wiki
