condizione che deve essere sempre vera subito dopo l'esecuzione di una sezione di codice o dopo un'operazione in una specifica formale (it)
programmeringskrav til et ønsket resultat eller en frembragt effekt, når alle dets oprindelige betingelser er opfyldt, og som efterfølgende gør det muligt at validere dem (da)
condition que doit satisfaire un résultat ou un effet produit quand toutes ses conditions initiales sont remplies et qui permet de le valider (fr)
requirement of a result or effect produced when all its initial conditions are met, and that allows validating it (en)
