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