Next:
4.57.4.1 SE/Métodos Formales. (14
Up:
4.57 CS393. Métodos Formales
Previous:
4.57.3 Contribución a los
Contents
4
.
57
.
4
Unidades
Subsections
4
.
57
.
4
.
1
SE/Métodos Formales. (14 horas) [Nivel Bloom 3]
4
.
57
.
4
.
2
Métodos y Fundamentos Matematicos (12 horas) [Nivel Bloom 3]
4
.
57
.
4
.
3
Modelamiento (12 horas) [Nivel Bloom 3]
4
.
57
.
4
.
4
Especificacion de Requerimientos (12 horas) [Nivel Bloom 4]
4
.
57
.
4
.
5
Diseño (12 horas) [Nivel Bloom 3]
4
.
57
.
4
.
6
Evolución (12 horas) [Nivel Bloom 4]
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