Métodos Formales en Ingeniería Informática (Con UAM y UPM)

Cuadro general de la estructura del plan de estudios

Módulos Materias Asignaturas(6 ECTS cada una) 1. Fundamentos (obligatorias) 1.1 Fundamentos 1.1.1 Teoría de lenguajes de programación 1.1.2 Análisis estático y resolución de restricciones 1.1.3 Modelos de concurrencia 2. Métodos (optativos - elegir 5) 2.1 Análisis de corrección de sistemas 2.1.1 Verificación asistida2.1.2 Testing formal2.1.3 Análisis de sistemas concurrentes y distribuidos 2.2 Diseño y construcción rigurosos de software 2.2.1 Corrección por construcción 2.2.2 Desarrollo formal dirigido por modelos 2.2.3 Diseño de algoritmos bioinspirados 2.3 Técnicas especializadas 2.3.1 Aprendizaje automático 2.3.2 Diseño y análisis de protocolos de seguridad 2.3.3 Computación cuántica 2.4 Prácticas 2.4.1 Prácticas 3. Trabajo de fin de Máster 3.1. Trabajo de fin de Máster 3.1.1 Trabajo de fin de Máster





Módulos Materias Asignaturas(6 ECTS cada una) 1. Fundamentos (obligatorias) 1.1 Fundamentos 1.1.1 Teoría de lenguajes de programación 1.1.2 Análisis estático y resolución de restricciones 1.1.3 Modelos de concurrencia 2. Métodos (optativos - elegir 5) 2.1 Análisis de corrección de sistemas 2.1.1 Verificación asistida2.1.2 Testing formal2.1.3 Análisis de sistemas concurrentes y distribuidos 2.2 Diseño y construcción rigurosos de software 2.2.1 Corrección por construcción 2.2.2 Desarrollo formal dirigido por modelos 2.2.3 Diseño de algoritmos bioinspirados 2.3 Técnicas especializadas 2.3.1 Aprendizaje automático 2.3.2 Diseño y análisis de protocolos de seguridad 2.3.3 Computación cuántica 2.4 Prácticas 2.4.1 Prácticas 3. Trabajo de fin de Máster 3.1. Trabajo de fin de Máster 3.1.1 Trabajo de fin de Máster Módulos Materias Asignaturas(6 ECTS cada una) 1. Fundamentos (obligatorias) 1.1 Fundamentos 1.1.1 Teoría de lenguajes de programación 1.1.2 Análisis estático y resolución de restricciones 1.1.3 Modelos de concurrencia 2. Métodos (optativos - elegir 5) 2.1 Análisis de corrección de sistemas 2.1.1 Verificación asistida2.1.2 Testing formal2.1.3 Análisis de sistemas concurrentes y distribuidos 2.2 Diseño y construcción rigurosos de software 2.2.1 Corrección por construcción 2.2.2 Desarrollo formal dirigido por modelos 2.2.3 Diseño de algoritmos bioinspirados 2.3 Técnicas especializadas 2.3.1 Aprendizaje automático 2.3.2 Diseño y análisis de protocolos de seguridad 2.3.3 Computación cuántica 2.4 Prácticas 2.4.1 Prácticas 3. Trabajo de fin de Máster 3.1. Trabajo de fin de Máster 3.1.1 Trabajo de fin de MásterMódulos Materias Asignaturas(6 ECTS cada una)Módulos MódulosMódulosMódulosMódulosMaterias MateriasMateriasMateriasMateriasAsignaturas(6 ECTS cada una)AsignaturasAsignaturasAsignaturasAsignaturas (6 ECTS cada una)(6 ECTS cada una)(6 ECTS cada una)(6 ECTS cada una)(6 ECTS cada una)1. Fundamentos (obligatorias) 1.1 Fundamentos 1.1.1 Teoría de lenguajes de programación 1. Fundamentos (obligatorias) 1. Fundamentos1. Fundamentos1. Fundamentos (obligatorias)(obligatorias)(obligatorias) 1.1 Fundamentos 1.1 Fundamentos1.1 Fundamentos1.1 Fundamentos 1.1.1 Teoría de lenguajes de programación 1.1.1 Teoría de lenguajes de programación1.1.1 Teoría de lenguajes de programación1.1.1 Teoría de lenguajes de programación1.1.2 Análisis estático y resolución de restricciones 1.1.2 Análisis estático y resolución de restricciones 1.1.2 Análisis estático y resolución de restricciones1.1.2 Análisis estático y resolución de restricciones1.1.2 Análisis estático y resolución de restricciones1.1.3 Modelos de concurrencia 1.1.3 Modelos de concurrencia 1.1.3 Modelos de concurrencia1.1.3 Modelos de concurrencia1.1.3 Modelos de concurrencia2. Métodos (optativos - elegir 5) 2.1 Análisis de corrección de sistemas 2.1.1 Verificación asistida 2. Métodos (optativos - elegir 5) 2. Métodos2. Métodos2. Métodos (optativos - elegir 5)(optativos - elegir 5)(optativos - elegir 5) 2.1 Análisis de corrección de sistemas 2.1 Análisis de corrección de sistemas2.1 Análisis de corrección de sistemas2.1 Análisis de corrección de sistemas 2.1.1 Verificación asistida 2.1.1 Verificación asistida2.1.1 Verificación asistida2.1.1 Verificación asistida 2.1.2 Testing formal 2.1.2 Testing formal 2.1.2 Testing formal2.1.2 2.1.2 2.1.2 TestingTestingTestingTesting formal formal formal2.1.3 Análisis de sistemas concurrentes y distribuidos 2.1.3 Análisis de sistemas concurrentes y distribuidos 2.1.3 Análisis de sistemas concurrentes y distribuidos2.1.3 Análisis de sistemas concurrentes y distribuidos2.1.3 Análisis de sistemas concurrentes y distribuidos2.2 Diseño y construcción rigurosos de software 2.2.1 Corrección por construcción 2.2 Diseño y construcción rigurosos de software 2.2 Diseño y construcción rigurosos de software2.2 Diseño y construcción rigurosos de software2.2 Diseño y construcción rigurosos de software 2.2.1 Corrección por construcción 2.2.1 Corrección por construcción2.2.1 Corrección por construcción2.2.1 Corrección por construcción2.2.2 Desarrollo formal dirigido por modelos 2.2.2 Desarrollo formal dirigido por modelos 2.2.2 Desarrollo formal dirigido por modelos2.2.2 Desarrollo formal dirigido por modelos2.2.2 Desarrollo formal dirigido por modelos2.2.3 Diseño de algoritmos bioinspirados 2.2.3 Diseño de algoritmos bioinspirados 2.2.3 Diseño de algoritmos bioinspirados2.2.3 Diseño de algoritmos bioinspirados2.2.3 Diseño de algoritmos bioinspirados2.3 Técnicas especializadas 2.3.1 Aprendizaje automático 2.3 Técnicas especializadas 2.3 Técnicas especializadas2.3 Técnicas especializadas2.3 Técnicas especializadas 2.3.1 Aprendizaje automático 2.3.1 Aprendizaje automático2.3.1 Aprendizaje automático2.3.1 Aprendizaje automático2.3.2 Diseño y análisis de protocolos de seguridad 2.3.2 Diseño y análisis de protocolos de seguridad 2.3.2 Diseño y análisis de protocolos de seguridad2.3.2 Diseño y análisis de protocolos de seguridad2.3.2 Diseño y análisis de protocolos de seguridad2.3.3 Computación cuántica 2.3.3 Computación cuántica 2.3.3 Computación cuántica2.3.3 Computación cuántica2.3.3 Computación cuántica2.4 Prácticas 2.4.1 Prácticas 2.4 Prácticas 2.4 Prácticas2.4 Prácticas2.4 Prácticas 2.4.1 Prácticas 2.4.1 Prácticas2.4.1 Prácticas2.4.1 Prácticas3. Trabajo de fin de Máster 3.1. Trabajo de fin de Máster 3.1.1 Trabajo de fin de Máster 3. Trabajo de fin de Máster 3. Trabajo de fin de Máster3. Trabajo de fin de Máster3. Trabajo de fin de Máster 3.1. Trabajo de fin de Máster 3.1. Trabajo de fin de Máster3.1. Trabajo de fin de Máster3.1. Trabajo de fin de Máster 3.1.1 Trabajo de fin de Máster 3.1.1 Trabajo de fin de Máster3.1.1 Trabajo de fin de Máster3.1.1 Trabajo de fin de Máster



Calendario de implantación del títuloEl título de Máster en Métodos Formales en Ingeniería Informática se implantará a partir del curso 2018-2019. Al ser un máster de 60 créditos, está pensado para tener un año de duración por lo que se implantará en su totalidad en ese curso. Curso 2018-2019 1ºEstos estudios son de nueva creación y no sustituyen a ninguno que se imparta en la actualidad. El título de Máster en Métodos Formales en Ingeniería Informática se implantará a partir del curso 2018-2019. Al ser un máster de 60 créditos, está pensado para tener un año de duración por lo que se implantará en su totalidad en ese curso.El título de Máster en Métodos Formales en Ingeniería Informática se implantará a partir del curso 2018-2019. Al ser un máster de 60 créditos, está pensado para tener un año de duración por lo que se implantará en su totalidad en ese curso.El título de Máster en Métodos Formales en Ingeniería Informática se implantará a partir del curso 2018-2019. Al ser un máster de 60 créditos, está pensado para tener un año de duración por lo que se implantará en su totalidad en ese curso. Curso 2018-2019 1º Curso 2018-2019 1ºCursoCurso CursoCursoCursoCurso oficiales...