FTLS

sg. f.

Article lié à celui-ci : DTLS.

[spécification] Formal Top-Level Specification. Spécification purement 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 : FSG < FSK < FSTN < FT < FTF < FTLS > FTN > ftp > FTP > FTP ano > FTPD .

Dern. modif. : 22-02-2005.

Avez-vous visité le JargonF nouveau et sa définition de FTLS ? Mettez à jour vos signets !

FTLS

Rubriques

Définitions