Programmation

Nom de constructions recommandées par certaines méthodes de génie logiciel . Il s'agit de prédicats destinés à détecter un état anormal causé par une erreur de programmation. Cf. précondition, postcondition [NM].

(21-06-2001).