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