A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Divers
sg. f.
[spécification] 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.