FTLS

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.

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • FTLS — Formal Top Level Specification (Governmental » Military) …   Abbreviations dictionary

  • FTLS — Formale Top Level Spezifikation, Teil eines Klasse A1 netzwerksicheren Systems (siehe Orange Book) …   Acronyms

  • FTLS — Formale Top Level Spezifikation, Teil eines Klasse A1 netzwerksicheren Systems (siehe Orange Book) …   Acronyms von A bis Z

  • FTLS — abbr. comp. Formal Top Level Specification …   Dictionary of English abbreviation

  • DTLS — ● ►en sg. f. ►SPECIF Descriptive Top Level Specification. Spécification très peu formelle réalisée en langage naturel (ou presque naturel), d où la notion de top level ( haut niveau ). Voir FTLS …   Dictionnaire d'informatique francophone

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”