GPDS curso 25/26 - Técnicas Formales y Herramientas CARE

1234567
Across
  1. 2. Herramienta CARE cuyo formato de documento abierto se basa en JSON.
  2. 3. Lenguaje de especificación general que utiliza módulos funcionales, de sistema y orientados a objetos.
  3. 6. Tecnología que permite verificar la seguridad matemáticamente, muy usada en enclavamientos ferroviarios.
  4. 7. Acrónimo de las herramientas que facilitan la definición, organización y gestión de requisitos.
Down
  1. 1. Especificación formal especialmente adecuada para interfaces, estructurada con signaturas y axiomas.
  2. 4. Herramienta comercial de gestión de requisitos de IBM centrada en bases de datos.
  3. 5. Tipo de especificación utilizada para probar matemáticamente la validez de una implementación.