Referencias Bibliográficas: []
Tópicos
- Introducción a los modelos matemáticos y lenguajes de especificación.
- Tipos de modelos.
- Modelamiento de comportamiento.
Objetivos
- Aplicar las técnicas formales de verificación a los segmentos de software con complejidad baja.
- 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
