Máster en Ingeniería del Software, Métodos Formales y Sistemas de Información (Valencia, Valencia)
Universidad Politécnica de Valencia
Título ofrecido:MÁSTER UNIVERSITARIO EN INGENIERÍA DEL SOFTWARE, MÉTODOS FORMALES Y SISTEMAS DE INFORMACIÓN
Ubicación:Valencia - Valencia
Tipo:Maestrías
Modalidad:Presencial
Caracteristicas
El sector del desarrollo de software se enfrenta en estos momentos al reto de dar soporte tecnológico a la construcción de la Sociedad de la Información del futuro. Por este motivo, resulta cada vez más necesario para este sector disponer de nuevas tecnologías software que den apoyo a este proceso: métodos de modelado, herramientas, plataformas de servicios, nuevas arquitecturas, etc., con el objetivo de facilitar el desarrollo de software de nueva generación, con niveles de industrialización similares a los de otros sectores productivos
Objetivo
El programa propuesto tiene como objetivo general la especialización de los
estudiantes en las siguientes áreas científicotecnológicas:
● Ingeniería del software
● Sistemas de información
● Tecnología software multiparadigma
Este objetivo general se refina en los siguientes objetivos específicos:
● Estudio de lenguajes y metodologías de modelado de software a distintos niveles
de abstracción.
● Estudio de metodologías de modelado de contenidos heterogéneos y técnicas
para la integración semántica de datos.
● Estudio de tecnologías web: modelado, herramientas, integración, etc.
● Estudio de tecnología avanzada de bases de datos como soporte de los sistemas
de información de nueva generación.
● Estudio de técnicas de recuperación de información y extracción de conocimiento
en ingeniería del software y sistemas de información: lenguaje natural,
análisis de datos, minería de datos, bibliotecas digitales.
● Técnicas para la generación automática de código y la reutilización del software
desde las etapas iniciales.
● Estudio de técnicas y herramientas para el análisis, la certificación, la
documentación automática y la depuración de programas.
● Estudio de teorías y lenguajes para la especificación, síntesis y verificación de
sistemas de software.
Objetivo
El programa propuesto tiene como objetivo general la especialización de los
estudiantes en las siguientes áreas científicotecnológicas:
● Ingeniería del software
● Sistemas de información
● Tecnología software multiparadigma
Este objetivo general se refina en los siguientes objetivos específicos:
● Estudio de lenguajes y metodologías de modelado de software a distintos niveles
de abstracción.
● Estudio de metodologías de modelado de contenidos heterogéneos y técnicas
para la integración semántica de datos.
● Estudio de tecnologías web: modelado, herramientas, integración, etc.
● Estudio de tecnología avanzada de bases de datos como soporte de los sistemas
de información de nueva generación.
● Estudio de técnicas de recuperación de información y extracción de conocimiento
en ingeniería del software y sistemas de información: lenguaje natural,
análisis de datos, minería de datos, bibliotecas digitales.
● Técnicas para la generación automática de código y la reutilización del software
desde las etapas iniciales.
● Estudio de técnicas y herramientas para el análisis, la certificación, la
documentación automática y la depuración de programas.
● Estudio de teorías y lenguajes para la especificación, síntesis y verificación de
sistemas de software.
Plan de estudios
BLOQUE: MÓDULO M1. ASIGNATURAS MISMFSI
ALMACENES DE DATOS Y MINERÍA DE DATOS
DESARROLLO DE SOFTWARE FIABLE Y DE CALIDAD
GENERACIÓN Y OPTIMIZACIÓN AUTOMÁTICA DE PROGRAMAS
INGENIERÍA DE LA PROGRAMACIÓN
INGENIERÍA DE REQUERIMIENTOS
INGENIERÍA DEL SOFWARE CON MODELOS
LENGUAJES Y PARADIGMAS DE PROGRAMACIÓN
MÉTODOS FORMALES DE LA INGENIERÍA DEL SOFWARE
MODELADO DE SISTEMAS DE INFORMACIÓN
PATRONES SOFTWARE Y GENERACIÓN DE CÓDIGO
PROYECTO DE DESARROLLO DE SOFTWARE
SISTEMAS AVANZADOS DE BASES DE DATOS
TECNOLOGÍA DE BASES DE DATOS
TECNOLOGÍA SOFTWARE DECLARATIVA
BLOQUE: MÓDULO M1. ASIGNATURAS OTROS MASTERES POSGRADO EN INFORMÁTICA
ADMINISTRACIÓN DE SISTEMAS OPERATIVOS
APRENDIZAJE
APRENDIZAJE Y PERCEPCIÓN
COMPUTACIÓN PARALELA
GRÁFICOS POR COMPUTADOR
INTELIGENCIA ARTIFICIAL
LENGUAJES Y ENTORNOS DE PROGRAMACIÓN PARALELA
PRODUCCIÓN DE IMAGEN DIGITAL
RECONOCIMIENTO DE FORMAS
REDES NEURONALES
SISTEMAS DISTRIBUIDOS
SISTEMAS INTELIGENTES
TÉCNICAS DE INTELIGENCIA ARTIFICIAL
TEORÍA DE LENGUAJES
TRATAMIENTO DE LA IMAGEN DIGITAL
BLOQUE: Módulo M2 MISMFSI
BIBLIOTECAS DIGITALES
CALIDAD DE SISTEMAS DE INFORMACIÓN
DESARROLLO DE APLICACIONES EN JAVA
DESARROLLO DE SISTEMAS DE INFORMACIÓN UBICUOS
DESCRIPCIÓN, SIMULACIÓN Y VERIFICACIÓN DE SISTEMAS CONCURRENTES
DISEÑO E IMPLEMENTACIÓN DE SISTEMAS DE INTELIGENCIA AMBIENTAL
EL MU-CALCULUS MODAL: UN LENGUAJE PARA LA VERIFICACIÓN DE SISTEMAS CONCURRENTES
EXTRACCIÓN AUTOMÁTICA DE CONOCIMIENTO EN BASES DE DATOS E INGENIERÍA DEL SOFTWARE
FUNDAMENTOS LÓGICOS DE LA INGENIERÍA DEL SOFTWARE Y LOS SISTEMAS DE INFORMACIÓN
GESTIÓN DE MODELOS
INGENIERÍA DEL LENGUAJE NATURAL
INGENIERÍA DEL SOFTWARE AUTOMÁTICA
INTEGRACIÓN SEMÁNTICA DE DATOS
INTRODUCCIÓN A MDA
LÓGICA APLICADA A LA VERIFICACIÓN DE SOFTWARE Y OPTIMIZACIÓN
LÓGICA DE REESCRITURA Y APLICACIONES PARA LA INGENIERÍA DE LA PROGRAMACIÓN
MODELADO DE PROCESO DE NEGOCIO Y ORGANIZACIONAL
MODELADO, DISEÑO E IMPLEMENTACIÓN DE SERVICIOS WEB
ONTOLOGIAS Y AGENTES INTELIGENTES
TÉCNICAS AVANZADAS DE DEPURACIÓN
TÉCNICAS AVANZADAS EN INGENIERÍA DE REQUISITOS
TÉCNICAS HCI (HUMAN-COMPUTER INTERACTION) EN EL ANÁLISIS Y DISEÑO DE SISTEMAS DE INFORMACIÓN
TECNOLOGÍA SOFTWARE PARA AMBIENTES WEB
BLOQUE: MÓDULO M2. OPTATIVAS OTROS MASTERES POSGRADO EN INFORMÁTICA
AGENTES DE INFORMACIÓN Y WEB SEMÁNTICA
ALGORITMOS PARALELOS EN PROCESAMIENTO DE LA SEÑAL
ALGORITMOS PARALELOS MATRICIALES EN INGENIERÍA
ANÁLISIS ESTADÍSTICO DE FORMAS
APLICACIÓN DE TÉCNICAS DE INTELIGENCIA ARTIFICIAL
APLICACIONES DE LA LINGÜÍSTICA COMPUTACIONAL
APRENDIZAJE Y GENERALIZACIONES
ARQUITECTURA DE REDES DE ALTAS PRESTACIONES
ARQUITECTURA Y PRESTACIONES DE LA WEB
AVANCES EN INFORMÁTICA GRÁFICA
AVANCES EN REDES NEURONALES
BIOMETRÍA
COMPUTACIÓN PARALELA HETEROGÉNEA
CONCEPTOS DE LA COMPUTACIÓN EN GRID
CONCEPTOS Y MÉTODOS DE LA COMPUTACIÓN PARALELA
CONFIABILIDAD Y SEGURIDAD EN REDES DE COMPUTADORES
CONFIGURACIÓN, ADMINISTRACIÓN Y UTILIZACIÓN DE CLUSTERS DE COMPUTADORES
DISEÑO DE APLICACIONES DISTRIBUIDAS ROBUSTAS
DISEÑOS DE RECUPERACIÓN DE INFORMACIÓN PARA ENTORNOS COOPERATIVOS
FUNDAMENTOS DE LAS APLICACIONES DISTRIBUIDAS
GESTIÓN Y VISUALIZACIÓN DE DATOS EN COMPUTACIÓN CIÉNTIFICA
HERRAMIENTAS DE COMPUTACIÓN DE ALTAS PRESTACIONES
LIBRERÍAS DE ALTAS PRESTACIONES PARA PROBLEMAS ALGEBRAICOS DISPERSOS
LINGÜÍSTICA COMPUTACIONAL
MÉTODOS ESTADÍSTICOS EN TECNOLOGÍAS DEL LENGUAJE
NEGOCIACIÓN Y CONFIANZA EN SISTEMAS MULTIAGENTE
PLANIFICACIÓN DE SISTEMAS INTELIGENTES DE TIEMPO REAL
PROGRAMACIÓN AVANZADA EN ENTORNOS GRID TIPO BATCH
PROGRAMACIÓN EN ENTORNOS GRID ORIENTADOS A SERVICIOS
PROGRAMACIÓN GRÁFICA
REALIDAD VIRTUAL Y AUMENTADA
RECONOCIMIENTO AUTOMÁTICO DEL HABLA
RECONOCIMIENTO DE ESCRITURA
RECONOCIMIENTO DE IMÁGENES
REDES DE SENSORES INALÁMBRICAS
REDES INALÁMBRICAS
REDES PARA CONTROL DE SISTEMAS INDUSTRIALES
SEGURIDAD EN SISTEMAS DISTRIBUIDOS
SISTEMAS DISTRIBUIDOS AVANZADOS
SISTEMAS MÓVILES
SISTEMAS MULTIAGENTE
SISTEMAS P2P
TECNOLOGÍA DE LA PROGRAMACIÓN PARALELA
TECNOLOGÍAS DE LAS APLICACIONES DISTRIBUIDAS
TRADUCCIÓN AUTOMÁTICA
VISIÓN 3D Y MOVIMIENTO
BLOQUE: TRABAJO FIN DE MÁSTER
TESIS MÁSTER INGENIERÍA DEL SOFTWARE, MÉTODOS FORMALES Y SISTEMAS DE INFORMACIÓN