Referencias Bibliográficas: []
Tópicos
- Actividades de evolución.
- Refabricación.
- Transformación de programas.
Objetivos
- Con un lenguaje de especificación formal común, formular la especificación de un sistema de software simple y demostrar las ventajas de una perspectiva de calidad.
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
