FTLS

Une définition du Jargon Français.
Aller à : Navigation, rechercher

Dr enus.png 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.