Referencias Bibliográficas: []
Tópicos
- Métodos de construcción formal.
- Fundamentos matemáticos.
- Grafos y árboles.
- Autómata finito, expresiones regulares.
- Gramáticas.
- Precisión numérica, exactitud, y errores.
Objetivos
- Crear especificaciones y diseños matemáticamente precisos utilizando. lenguajes de especificación formales.
- Analizar las propiedades de las especificaciones y diseños 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
