6.43.4.5 Diseño (12 horas) [Nivel Bloom 3]

Referencias Bibliográficas: [Guttag and Horning, 1991] Tópicos
  1. Diseño detallado.
  2. Notaciones de diseño y herramientas de soporte.
    1. Análisis de diseño formal.
  3. Evaluación de diseño.
    1. Técnicas de evaluación.
Objetivos
  1. Utilizar herramientas para transformar especificaciones y diseños.
  2. Explicar las ventajas y desventajas potenciales d eusar lenguajes de especificación formal.
  3. Crear y evaluar aserciones (pre y post condiciones e invariantes), para una variedad de situacioines que se extienden de simples a complejas.



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