Vous êtes ici :
Lexique informatique >
F > FTLS :
FTLS
sg. f.
Article lié à celui-ci :
DTLS.
[spécification] 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.
Tous droits réservés Roland Trique - Le Jargon Français.
