Tugurium/GTI

Glosario Terminología Informática

formal top level specification

0 especificación formal de nivel superior
Especificación de alto nivel que está escrita en un lenguaje matemático formal para permitir que los teoremas que muestran la correspondencia de la especificación del sistema con sus requisitos formales permitan formular hipótesis y sean probados formalmente.
2017-10-31