Quiero saber acerca de...
- España
Resolución de 8 de junio de 2020, de la Universidad Complutense de Madrid, por la que se publica el plan de estudios de Máster en Métodos Formales en Ingeniería Informática/Formal Methods in Computer Science (Máster conjunto de las universidades Autónoma de Madrid, Complutense de Madrid y Politécnica de Madrid).
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.
ANEXO
Plan de Estudios del título de Máster Universitario en Métodos Formales en Ingeniería Informática/Formal Methods in Computer Science (Conjunto con la Universidad Autónoma de Madrid y con la Universidad Politécnica de Madrid)
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.
Fuente: Boletin Oficial del Estado (BOE) Nº 183 del Viernes 3 de Julio de 2020. Otras disposiciones, Universidades.