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

Referencias Bibliográficas: [] 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.