Programa de la asignatura
- Introducción
- Clases
- Objetos
- Clases genéricas
- El estilo OO
- Herencia
- Introducción
- Polimorfismo
- Clases diferidas y efectivas
- Problemas con el chequeo de tipos
- Patrones
- Introducción
- Patrones estructurales
- Patrones de comportamiento
- Patrones creacionales
- Contratos
- Introducción
- Cláusulas require/ensure
- Invariantes de clase
- Asertos en el código
- Contratros y herencia
- Proceso de excepciones
- Prueba de clases
