Módulo: 'Estudio Comparativo de Metodologías'
Módulo: 'Métodos Formales y Análisis de Herramientas para la Producción de Software'