Brecha de Expresividad
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Déficit medible entre el conjunto de propiedades que una lógica o lenguaje de especificación puede definir y el conjunto de propiedades que requiere una aplicación, especificación o tarea de verificación.