Agencia Estatal Boletín Oficial del Estado
Obtenida la verificación del Plan de Estudios por el Consejo de Universidades, previo informe favorable de la Fundación para el Conocimiento Madri+d, así como la autorización de la Comunidad Autónoma de Madrid, y acordado el carácter oficial del título por Acuerdo del Consejo de Ministros de 5 de octubre de 2018 (publicado en el BOE del 21 de diciembre de 2018),
Este Rectorado, de conformidad con lo dispuesto en el artículo 35 de la Ley Orgánica 6/2001 de Universidades, en la redacción dada por la Ley Orgánica 4/2007, ha resuelto publicar el plan de estudios conducente a la obtención del título de Máster Universitario en Métodos Formales en Ingeniería Informática / Formal Methods in Computer Science.
Madrid, 8 de junio de 2020.–El Rector, Joaquín Goyache Goñi.
Rama de Conocimiento: Ingeniería y Arquitectura
Tabla 1. Distribución del Plan de Estudios en créditos ECTS
| Tipo de materia | Créditos ECTS |
|---|---|
| Obligatorias. | 18 |
| Optativas. | 30 |
| Trabajo de Fin de Máster. | 12 |
| Créditos Totales. | 60 |
Tabla 2. Esquema del Plan de Estudios
| Materia | Créditos ECTS | Carácter |
|---|---|---|
| Métodos formales fundamentales. | 18 | Obligatoria. |
| Análisis de la corrección de los sistemas. | 18* | Optativa. |
| Diseño y construcción rigurosa de sistemas. | 18* | Optativa. |
| Técnicas matemáticas especializadas. | 18* | Optativa. |
| Prácticas en empresas o grupos de investigación. | 6* | Optativa. |
| Trabajo Fin de Máster. | 12 | TFM. |
* Créditos optativos que componen la materia. Se ofertan 60 créditos optativos, de los cuales cada alumno habrá de escoger 30.
Agencia Estatal Boletín Oficial del Estado
Avda. de Manoteras, 54 - 28050 Madrid
