6.43.4.4 Especificacion de Requerimientos (12 horas) [Nivel Bloom 4]

Referencias Bibliográficas: [Hinchey and Dean, 1996] Tópicos
  1. Documentación y especificación de requerimientos.
    1. Lenguajes de especificación (OCL, Z, etc.).
  2. Validación de requerimientos.
Objetivos
  1. Discutir el papel de la verificación de las técnicas formales en el contexto de la validación y prueba de software.
  2. Aprender a utilizar los diferentes lenguajes de especificación formal para la especificación y validación de requisitos.
  3. 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