7.16.4.15 SE/Especificación de Requerimientos. (1 horas) [Nivel Bloom 2]

Referencias Bibliográficas: [Stroustrup, 1997] Tópicos

1. Técnicas de modelamiento del análisis de requerimientos.
2. Prototipeo.
3. Conceptos básicos de técnicas de especificación formal.

Objetivos

1. Discutir los retos de mantener software heredado.
2. Usar un método común, no formal para modelar y especificar (en la forma de un documento de especificación de requerimientos) los requerimientos para un sistema de software de tamaño medio.
3. Traducir en lenguaje natural una especificación de requerimientos de software escrita en un lenguaje de especificación formal comunmente usado.