Traducción de "formal methods" en español

métodos formales es la traducción de "formal methods" a español.

formal methods

Mathematically-based techniques for the specification, development and verification of software and hardware systems.

+ Añadir

Diccionario inglés-español

  • métodos formales

    Técnicas basadas en matemáticas para la especificación, el desarrollo y la verificación de sistemas de software y de hardware.

    Much work has been done on formal methods and on security evaluation criteria.

    Se ha trabajado mucho en métodos formales y en criterios de evaluación de la seguridad.

  • Mostrar traducciones generadas algorítmicamente

Traducciones automáticas de " formal methods " a español

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Añadir

Traducciones de "formal methods" a español en contexto, memoria de traducción