Définition de FTLS

sg. f.
[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.
Article lié à celui-ci :
DTLS
Articles voisins :
FSC - FSF - FSG - FSK - FT
- FTN - ftp - FTP - FTP ano - FTPD

Définition fournie par Le Jargon Français