Précondition

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.

précondition

postulat d'entrée

precondition