sigle→ féminin→. [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.
