Fossé D'Expressivité
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Un déficit mesurable entre l'ensemble des propriétés qu'une logique ou un langage de spécification peut définir et l'ensemble des propriétés requis par une application, une spécification ou une tâche de vérification.