- FTLS
- ● ►en 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.
Dictionnaire d'informatique francophone. 2013.