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

Máster. Curso 2018/2019.

MÁSTER UNIVERSITARIO EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA

Curso Académico 2018-19

Curso 1

CódigoAsignaturaCarácterCréditosOfertada
609029ANÁLISIS DE SISTEMAS CONCURRENTES Y DISTRIBUIDOSOPTATIVA6.0Si
609025ANÁLISIS ESTÁTICO DE PROGRAMAS Y RESOLUCIÓN DE RESTRICCIONESOBLIGATORIA6.0Si
609033APRENDIZAJE AUTOMÁTICOOPTATIVA6.0Si
609035COMPUTACIÓN CUÁNTICAOPTATIVA6.0Si
609031DESARROLLO FORMAL DE SOFTWARE DIRIGIDO POR MODELOSOPTATIVA6.0Si
609032DISEÑO DE ALGORITMOS BIOINSPIRADOSOPTATIVA6.0Si
609030DISEÑO DE SISTEMAS CORRECTOS POR CONSTRUCCIÓNOPTATIVA6.0Si
609028MÉTODOS FORMALES DE TESTINGOPTATIVA6.0Si
609026MODELOS DE LA CONCURRENCIAOBLIGATORIA6.0Si
609036PRÁCTICAS EN EMPRESAS O GRUPOS DE INVESTIGACIÓNOPTATIVA6.0Si
609024TEORÍA DE LENGUAJES DE PROGRAMACIÓNOBLIGATORIA6.0Si
609037TRABAJO FIN DE MÁSTERTrabajo fin de Máster12.0Si
609027VERIFICACIÓN ASISTIDA DE PROGRAMASOPTATIVA6.0Si

Sin curso definido

CódigoAsignaturaCarácterCréditosOfertada
609180ANÁLISIS Y DISEÑO DE SOFTWARECOMPLEMENTO DE FORMACION6.0Si
609178AUTÓMATAS Y LENGUAJESCOMPLEMENTO DE FORMACION6.0Si
609177CONCURRENCIACOMPLEMENTO DE FORMACION3.0Si
609169FUNDAMENTOS DE LOS LENGUAJES INFORMÁTICOSCOMPLEMENTO DE FORMACION6.0Si
609179INGENIERÍA DEL SOFTWARECOMPLEMENTO DE FORMACION6.0Si
609170MÉTODOS ALGORÍTMICOS EN RESOLUCIÓN DE PROBLEMASCOMPLEMENTO DE FORMACION9.0Si
609171PROCESADORES DE LENGUAJESCOMPLEMENTO DE FORMACION6.0Si
609174PROCESADORES DE LENGUAJESCOMPLEMENTO DE FORMACION3.0Si
609173PROGRAMACIÓN CONCURRENTECOMPLEMENTO DE FORMACION6.0Si
609172PROGRAMACIÓN DECLARATIVACOMPLEMENTO DE FORMACION6.0Si
609176PROGRAMACIÓN DECLARATIVA: LÓGICA Y RESTRICCIONESCOMPLEMENTO DE FORMACION3.0Si
609175PROGRAMACIÓN FUNCIONALCOMPLEMENTO DE FORMACION3.0Si