Máster en Ingeniería y Tecnología de Sistemas Software (UPV)

Análisis y Verificación de Software

DATA SCIENCE

Desarrollo de Interfaces Multimodales Avanzadas

Desarrollo de Software Seguro

Diseño de Sistemas Ubicuos y Adaptativos

Emprendimiento en Productos Software

Experiencias en Gestión de Modelos

Extracción de Información desde Redes Sociales

Fundamentos Lógicos y Algebraicos

Fundamentos de Herramientas no Code / Low Code

Gestión de Contenido Digital

Ingeniería de Documentos

Ingeniería de Sistemas de Información

Ingeniería del Lenguaje Natural

Ingeniería del Software Experimental

Ingeniería del software avanzada

Internet de los Servicios (Ios) y de las Cosas (Iot)

Laboratorio de Análisis, Transformación y Depuración

Laboratorio de Programación Multiparadigma

Laboratorio de Verificación de Sistemas Concurrentes

Modelado de Proceso de Negocio y Organizacional

Modelos Formales de Computación

Modelos Software Confiables Basados en Aprendizaje Automático

Programación Avanzada en Erlang

Programación Lógica Probabilística

Pruebas de Software Estructuradas

Sistemas de Gestión de Emergencias

Sistemas de Información Aplicados a la Bioinformática: Gestión de Datos Genómicos

Sistemas de Información y Ciencias de la Vida

Tecnologías de Gestión de Datos

Trabajo Fin de Máster

Transformación, Validación y Depuración de Software

Técnicas Hci ("human-computer Interaccion") en el Análisis y Diseño de Sistemas de Información

Todas las asignaturas