assertion par : aboul le 28/06/02 mail : aboul@free.fr |
PROG 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). (source: Le Jargon Français license GFDL sur linux-france.org, (c) 2001 Roland Trique) |
Info. Culture |