Maximiliano Cristiá
Vídeos educativos sobre Ingeniería de Software presentados por el Prof. Maximiliano Cristiá de la Universidad Nacional de Rosario (Argentina). Pueden encontrar vídeos sobre ingeniería de requerimientos, diseño y arquitectura de software (en particular patrones de diseño), especificaciones formales de software y validación y verificación de software.
El formato de los vídeos es básicamente el de una clase con pizarra.
Pueden encontrar material de mis clases en la Universidad Nacional de Rosario en estos dos sitios:
http://www.fceia.unr.edu.ar/is1
http://www.fceia.unr.edu.ar/is2
Conceptos avanzados sobre especificación de software (05)
Conceptos avanzados sobre especificación de software (04)
Conceptos avanzados sobre especificación de software (03)
Conceptos avanzados sobre especificación de software (02)
Conceptos avanzados sobre especificación de software (01)
Introducción a CSP (09)
Introducción a CSP (08)
Introducción a CSP (07)
Introducción a CSP (06)
Introducción a CSP (05)
Introducción a CSP (04)
Introducción a CSP (03)
Introducción a CSP (02)
Introducción a CSP (01)
Statecharts (06)
Statecharts (05)
Statecharts (04)
Statecharts (03)
Statecharts (02)
Statecharts (01)
Relacionar R con S: las diferencias entre R y S
Relacionar R con S (el modelo WRSPM)
Invariantes de estado (en la notación Z)
Designaciones: relacionar R con S
Composición de operaciones en notación Z
Promoción de operaciones en notación Z (03)
Promoción de operaciones en notación Z (02)
Promoción de operación en notación Z (01)
Tipos esquema en la notación Z
Principios de la Ingeniería de Requerimientos (01)