Los métodos formales que se utilizan para describir sistemas de computadoras son técnicas de base matemáticas para describir las propiedades del sistemas. Estos métodos formales proporcionan marcos de referencia en el seno de los cuales las personas pueden especificar, desarrollar y verificar los sistemas de manera sistemática. Un método formal si posee una base matemática estable, que normalmente vendría dada por un lenguaje formal de especificación.
Búsqueda personalizada