Para poder acceder a cursar un Master de un Programa Oficial de Posgrado es necesario cumplir alguna de las siguientes condiciones:
- Poseer un título universitario oficial.
- Poseer un título conforme a estudios universitarios extranjeros (previa aceptación u homologación).
- Ser un estudiante con estudios parciales de doctorado (siempre que sean admitidos en el programa oficial).
Para poder acceder al Doctorado de un Programa Oficial de Posgrado es necesario cumplir alguna de las siguientes condiciones:
- Poseer un título oficial de Master.
- Haber obtenido un mínimo de 60 créditos en Programas Oficiales de Posgrado.
Titulación oficial
Título Oficial expedido por la Universidad Politécnica de Valencia.
Instalaciones del centro: UPV - Departamento de Sistemas Informáticos y Computación
Camino de Vera, s/n. Edificio 1F Valencia 46022 Valencia (España)
Temario del curso
.- Master en Ingeniería del Software, Métodos Formales y Sistemas de
Información
Coordinación Germán
Vidal
Duración 90 créditos: 70
créditos ECTS docentes + 20 créditos ECTS de Tesis de Master Objetivo El
programa propuesto tiene como objetivo general la especialización de los
estudiantes en las siguientes áreas científico-tecnoló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.
Conocimientos, Aptitudes y Destrezas Los conocimientos
que el alumno adquirirá son los derivados de los objetivos específicos
enunciados en Objetivos.
Concretamente, al finalizar sus estudios, el alumno estará
capacitado para:
Diseñar y desarrollar sistemas software de nueva generación de forma
fiable, segura y productiva.
Analizar, depurar y mantener el software desarrollado.
Seleccionar la mejor solución tecnológica para un proyecto software.
Desarrollar sistemas de integración de datos en distinto soporte
tecnológico y aplicar técnicas avanzadas de recuperación de
información y extracción de conocimiento.
Programa: Informática Titulación:
Master en Ingeniería del Software, Métodos Formales y Sistemas de
Información Créditos establecidos para obtener la
titulación Docentes: 70.0 Créditos Tesina:
20.0 Créditos Total: 90.0 Créditos Obligatorias
Asignatura
Ingeniería del software con modelos. 6.0 Créditos
Métodos formales de la ingeniería del software. 6.0 Créditos
Modelado de sistemas de información. 6.0 Créditos
Patrones software y generación de código. 6.0 Créditos
Proyecto de desarrollo de software. 6.0 Créditos
Tecnología de bases de datos. 6.0 Créditos
Tesis master ingeniería del software, métodos formales y sistemas de
información. 20.0 Créditos
Optativas
Asignatura
Administración de sistemas operativos. 6.0 Créditos
Agentes de información y web semántica. 2.0 Créditos
Algoritmos paralelos en procesamiento de la señal. 2.0 Créditos
Algoritmos paralelos matriciales en ingeniería. 4.0 Créditos
Almacenes de datos y minería de datos. 6.0 Créditos
Almacenes de datos y minería de datos. 6.0 Créditos
Análisis de algoritmos distribuidos. 2.0 Créditos
Análisis estadístico de formas. 3.0 Créditos
Animación por computador. 2.0 Créditos
Aplicación del Grid en ciencias de la vida. 2.0 Créditos
Aplicaciones avanzadas de Grid. 2.0 Créditos
Aplicaciones de la inteligencia artificial. 2.0 Créditos
Aplicaciones de la lingüística computacional. 3.0 Créditos
Aprendizaje automático. 6.0 Créditos
Aprendizaje y generalizaciones. 2.0 Créditos
Aprendizaje y percepción. 4.5 Créditos
Arquitectura de redes de altas prestaciones. 5.0 Créditos
Arquitectura e ingeniería de computadores. 9.0 Créditos
Arquitectura y prestaciones de la web. 5.0 Créditos
Arquitecturas avanzadas. 4.5 Créditos
Arquitecturas avanzadas. 4.5 Créditos
Aspects of information systems in bioinformatics. 3.0 Créditos
Avances en informática gráfica. 2.0 Créditos
Avances en la generación de bibliotecas de algebra lineal densa. 2.0
Créditos
Avances recientes en alta disponibilidad. 2.0 Créditos
Avances recientes en aplicaciones de la tecnología Grid. 2.0 Créditos
Avances recientes en computación paralela. 2.0 Créditos
Avances recientes en entornos distribuidos dinámicos. 2.0 Créditos
Avances recientes en tecnología Grid. 2.0 Créditos
Bases de datos avanzadas. 6.0 Créditos
Bibliotecas digitales. 4.0 Créditos
Bioinformática. 6.0 Créditos
Biometría. 2.0 Créditos
Calidad de sistemas de información. 2.0 Créditos
Chips de interconexión del futuro. 5.0 Créditos
Clasificación basada en prototipos. 2.0 Créditos
Computación bioinspirada. 2.0 Créditos
Computación paralela. 6.0 Créditos
Computación paralela heterogénea. 2.0 Créditos
Computadores paralelos y redes de computadores actuales. 2.0 Créditos
Conceptos de la computación en Grid. 4.0 Créditos
Conceptos y métodos de la computación paralela. 4.0 Créditos
Configuración y administración de clusters de PCs. 5.0 créditos
Desarrollo de aplicaciones en java. 3.0 Créditos
Desarrollo de software fiable y de calidad. 6.0 Créditos
Desarrollo y aplicación de modelos numéricos en entornos para altas
prestaciones. 2.0 Créditos
Descripción, simulación y verificación de sistemas concurrentes. 3.0
Créditos
Diseño de aplicaciones basadas en dispositivos móviles. 6.0 Créditos
Diseño de aplicaciones distribuidas robustas. 4.0 Créditos
Diseño de arquitecturas en VLSI. 6.0 Créditos
Diseño de sistemas basados en microprocesador. 6.0 Créditos
Diseño de sistemas operativos. 6.0 Créditos
Diseño de sistemas operativos. 6.0 Créditos
Diseño y aplicaciones de sistemas distribuidos. 6.0 Créditos
Diseños de recuperación de información para entornos cooperativos.
2.0 Créditos
Evaluación, modelado y simulación de computadores. 4.5 Créditos
Extracción automática de conocimiento en bases de datos e ingeniería
del software. 3.0 Créditos
Fundamentos de las aplicaciones distribuidas. 4.0 Créditos
Fundamentos de sistemas multimedia. 6.0 Créditos
Fundamentos lógicos de la ingeniería del software y los sistemas de
información. 4.0 Créditos
Generación y optimización automática de programas. 6.0 Créditos
Gestión de modelos. 2.5 Créditos
Gestión de sistemas informáticos paralelos en organizaciones. 2.0
Créditos
Gestión y visualización de datos en computación científica. 2.0
Créditos
Grid y computación paralela. 2.0 Créditos
Herramientas de computación de altas prestaciones. 4.0 Créditos
Inferencia gramatical. 3.0 Créditos
Informática industrial avanzada. 5.0 Créditos
Ingeniería de la programación. 12.0 Créditos
Ingeniería de requerimientos. 6.0 Créditos
Ingeniería de sistemas multiagente. 3.0 Créditos
Ingeniería del lenguaje natural. 3.0 Créditos
Ingeniería del software automática. 5.0 Créditos
Instalación y configuración de middlewares: gt2 y gt4. 2.0 Créditos
Instrumentación industrial. 4.5 Créditos
Integración semántica de datos. 4.0 Créditos
Introducción a la computación neuronal. 6.0 Créditos
Introducción a la inteligencia artificial. 4.5 Créditos
Introducción a los gráficos por computador. 6.0 Créditos
Introducción a MDA. Créditos
Introducción al reconocimiento de formas. 6.0 Créditos
Lenguajes y entornos de programación paralela. 6.0 Créditos
Lenguajes y herramientas para la I.A. Créditos
Lenguajes y paradigmas de programación. 6.0 Créditos
Librerías de altas prestaciones para problemas algebraicos
dispersos. Créditos
Lingüística computacional. Créditos
Lógica aplicada a la verificación de software y optimización. 2.0
Créditos
Lógica de reescritura y aplicaciones para la ingeniería de la
programación. 2.0 Créditos
Métodos estadísticos en tecnologías del lenguaje. 3.0 Créditos
Modelación y discretización eficiente de aplicaciones de ingeniería.
2.0 Créditos
Modelado, diseño e implementación de servicios web. 3.0 Créditos
Modelado y simulación paralela en ingeniería. 2.0 Créditos
Negociación y recomendación en sistemas multiagente. 3.0 Créditos
Periféricos avanzados. 4.5 Créditos
Planificación de sistemas inteligentes de TR. 3.0 Créditos
Problemas de satisfacción de restricciones. 3.0 Créditos
Producción de imagen digital. Créditos
Programación avanzada en entornos Grid tipo batch. 3.0 Créditos
Programación en entornos Grid orientados a servicios. 3.0 Créditos
Programación gráfica. 4.0 Créditos
Quality asurance in model management. 3.0 Créditos
Realidad virtual y aumentada. 2.0 Créditos
Reconocimiento automático del habla. 3.0 Créditos
Reconocimiento de escritura. 3.0 Créditos
Reconocimiento de imágenes. 2.0 Créditos
Redes. 9.0 Créditos
Redes de área local e interconexión de redes. Créditos
Redes de área local e interconexión de redes. Créditos
Redes de sensores inalámbricas. 5.0 Créditos
Redes inalámbricas. 5.0 Créditos
Redes locales industriales. 4.5 Créditos
Redes neuronales. 3.0 Créditos
Redes para control de sistemas industriales. 5.0 Créditos
Seguridad en redes de computadores. 6.0 Créditos
Seguridad en redes de computadores. 6.0 Créditos
Seguridad en sistemas distribuidos. 3.0 Créditos
Sensorización, procesado digital y percepción. Robótica móvil. 5.0
Créditos
Servicios web. 2.0 Créditos
Síntesis de la imagen digital. 4.0 Créditos
Sistemas avanzados de bases de datos. 6.0 Créditos
Sistemas de tiempo real. 6.0 Créditos
Sistemas de visión. 6.0 Créditos
Sistemas distribuidos. 6.0 Créditos
Sistemas distribuidos avanzados. 5.0 Créditos
Sistemas inteligentes de ayuda a la decisión. 2.0 Créditos
Sistemas móviles. 2.0 Créditos
Sistemas multiagente inteligentes. 6.0 Créditos
Sistemas p2p. 2.0 Créditos
Sistemas y herramientas para traducción. 2.0 Créditos
Técnicas avanzadas en ingeniería de requisitos. 2.5 Créditos
Técnicas de autooptimización en librerías paralelas. 2.0 Créditos
Técnicas de búsqueda inteligente. 6.0 Créditos
Técnicas de planificación en I.A. 3.0 Créditos
Tecnología biomédica. 6.0 Créditos
Tecnología de bases de datos. 6.0 Créditos
Tecnología de la programación paralela. 4.0 Créditos
Tecnología software declarativa. 6.0 Créditos
Tecnología software para ambientes web. 5.0 Créditos
Tecnologías de las aplicaciones distribuidas. 3.0 Créditos
Teoría de lenguajes. 6.0 Créditos
Tesis de master en computación paralela y distribuida. 20.0 Créditos
Tesis master en ingeniería de computadores. 20.0 Créditos
Tesis master en inteligencia artificial, reconocimiento de formas e
imagen digital. 20.0 Créditos
Tolerancia a fallos en computadores. 4.5 Créditos
Tolerancia a fallos en redes de computadores. 5.0 Créditos
Titulación oficial
