6.43.4.3 Modelamiento (12 horas) [Nivel Bloom 3]

Referencias Bibliográficas: [Jr., 1992] Tópicos
  1. Introducción a los modelos matemáticos y lenguajes de especificación.
  2. Tipos de modelos.
  3. Modelamiento de comportamiento.
Objetivos
  1. Aplicar las técnicas formales de verificación a los segmentos de software con complejidad baja.
  2. Discutir y analizar los tipos de modelos existentes para Métodos Formales.



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