.- Master en Ingeniería del Software, Métodos Formales y Sistemas de
InformaciónCoordinación
Germán
Vidal
Duración90 créditos:
70
créditos ECTS docentes + 20 créditos ECTS de Tesis de Master
ObjetivoEl
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 DestrezasLos 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áticaTitulación:
Master en
Ingeniería del Software, Métodos Formales y Sistemas de
Información
Créditos establecidos para obtener la
titulaciónDocentes: 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
-
Traducción automática. 3.0 Créditos
-
Transmisión de datos multimedia. 5.0 Créditos
-
Tratamiento de la imagen digital. 6.0 Créditos
-
Visión por computador. 5.0 Créditos
-
Visión 3d y movimiento. 2.0 Créditos
