FTLS par : aboul le 28/06/02 mail : aboul@free.fr |
SPECIF Formal Top-Level Specification. Spécification tout à fait formelle réalisée dans un langage mathématique permettant de prouver qu'un programme effectue bien ce qu'on lui demande. Voir DTLS. (source: Le Jargon Français license GFDL sur linux-france.org, (c) 2001 Roland Trique) |
Info. Culture |