Referencias Bibliográficas: []
Tópicos
- Documentación y especificación de requerimientos.
- Lenguajes de especificación (OCL, Z, etc.).
- Validación de requerimientos.
Objetivos
- Discutir el papel de la verificación de las técnicas formales en el contexto de la validación y prueba de software.
- Aprender a utilizar los diferentes lenguajes de especificación formal para la especificación y validación de requisitos.
- Analizar las propiedades de las especificaciones y diseños formales
Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, Universidad Católica San Pablo, Arequipa-Peru
basado en el modelo de la Computing Curricula de IEEE-CS/ACM
