Dictionnaire Informatique

FTLS

en 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.

 
Articles voisins :  FSFE < FSG < FSK < FSTN < FT < FTLS > FTN > ftp > FTP > FTP ano > FTPD .