Universitat Politècnica de València

Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información

Universitat Politècnica de València
  • Imparte:
  • Modalidad:
    Presencial en Valencia
  • Precio:
    Información no disponible
  • Comienzo:
    Información no disponible
  • Lugar:
    Edificio 3H Camí de Vera, s/n
    Valencia (Valencia / València) 46022
    España
  • Duración:
    90 ECTS
  • Idioma:
    El Curso se imparte en Español y Valenciano
  • Titulación:
    Título Oficial de Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información

Presentación



Este máster ha sido galardonado en 2010 con el Premio al Mejor Máster Universitario en la X edición de los premios del Consejo Social de la UPV.



El sector del desarrollo de software debe dar soporte tecnológico a la construcción de la sociedad de la información. El programa de formación del máster contribuirá claramente a incrementar el nivel tecnológico de la sociedad española en todos los ámbitos relacionados con la sociedad de la información.
Una de las claves del éxito en la actividad del desarrollo de software y sistemas de información reside en el uso de métodos y herramientas que permitan construir de forma productiva software fiable y de calidad.

Requisitos

Acceso a las enseñanzas oficiales de Máster

1. Para acceder a las enseñanzas oficiales de Máster será necesario estar en posesión de un título universitario oficial español u otro expedido por una institución de educación superior del Espacio Europeo de Educación Superior que facultan en el país expedidor del título para el acceso a enseñanzas de máster.

2. Así mismo, podrán acceder los titulados conforme a sistemas educativos ajenos al Espacio Europeo de Educación Superior sin necesidad de la homologación de sus títulos, previa comprobación por la Universidad de que aquellos acreditan un nivel de formación equivalente a los correspondientes títulos universitarios oficiales españoles y que facultan en el país expedidor del título para el acceso a enseñanzas de postgrado. El acceso por esta vía no implicará, en ningún caso, la homologación del título previo de que esté en posesión el interesado, ni su reconocimiento a otros efectos que el de cursar las enseñanzas de Máster.

Dirigido

Ingenieros o licenciados en Informática, diplomados o ingenieros técnicos en Informática.
Titulaciones afines: ingenieros de Telecomunicación, ingenieros industriales (especialidad en Automática), licenciados en Ciencias Físicas, en Ciencias Matemáticas, o titulados superiores nacionales o extranjeros afines.

Objetivos

Estudio de teorías y lenguajes para la especificación, síntesis y verificación de sistemas de software.
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 lenguajes y metodologías de modelado de software a distintos niveles de abstracción.
Técnicas para la generación automática de código y la reutilización del software desde las etapas iniciales.
Estudio de metodologías de modelado de contenidos heterogéneos y técnicas para la integración semántica de datos.
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.
Estudio de tecnología web: modelado y herramientas.
Estudio de tecnología avanzada de bases de datos como soporte de los sistemas de información de nueva generación.

Programa

Módulo 1: Módulo básico
Materias básicas de IS, TSM y SI:
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

Módulo 2: Módulo de especialización
Intensificación en Ingeniería de Software:
Calidad De Sistemas De Información Web
Introducción A Mda
Modelado De Proceso De Negocio Y Organizacional
Modelado, Diseño E Implementación De Servicios Web
Seminario Avanzado De Is 1
Seminario Avanzado De Is 2
Sistemas De Gestión De Contenidos Digitales
Técnicas Avanzadas En Ingeniería De Requisitos
Tecnología Software Para Ambientes Web

Intensificación en Sistemas de Información:
Bibliotecas Digitales
Desarrollo De Sistemas Ubicuos E Inteligencia Ambiental
Extracción Automática De Conocimiento En Bases De Datos E Ingeniería Del Software
Ingenieria De Sistemas De Informacion
Integración Semántica De Datos 1
Integración Semántica De Datos 2
Seminario Avanzado De Si 1
Seminario Avanzado De Si 2
Técnicas Hci (Human-Computer Interaction) En El Análisis Y Diseño De Sistemas De Información

Técnicas de soporte para el modelado, desarrollo y explotación de sistemas software:
Fundamentos De Ingeniería Del Software Automática
Gestión De Modelos
Ingeniería Del Lenguaje Natural
Lógica Aplicada A La Verificación De Software Y Optimización
Minería De Datos Relacional
Ontologias Y Agentes Inteligentes
Seminario Avanzado De Tss 1
Seminario Avanzado De Tss 2
Seminario Avanzado De Tss 3

Intensificación en Tecnología Software Multiparadigma:
Análisis Y Transformación De Programas
Desarrollo De Aplicaciones En Java
Descripción, Simulación Y Verificación De Sistemas Concurrentes
Diseño De Lenguajes De Programación
Métodos Ágiles Y Tecnología Multiparadigma
Seminario Avanzado De Tsm 1
Seminario Avanzado De Tsm 2
Seminario Avanzado De Tsm 3
Técnicas Avanzadas De Depuración
Terminación De Programas
Verificación De Software Dirigido Por Eventos

Módulo 3: Trabajo Fin de Máster

Competencias

Poseer y comprender conocimientos que aporten una base u oportunidad de ser originales en el desarrollo y/o aplicación de ideas, a menudo en un contexto de investigación.
Que los estudiantes sepan aplicar los conocimientos adquiridos y su capacidad de resolución de problemas en entornos nuevos o poco conocidos dentro de contextos más amplios (o multidisciplinares) relacionados con su área de estudio.
Que los estudiantes sean capaces de integrar conocimientos y enfrentarse a la complejidad de formular juicios a partir de una información que, siendo incompleta o limitada, incluya reflexiones sobre las responsabilidades sociales y éticas vinculadas a la aplicación de sus conocimientos y juicios.
Que los estudiantes sepan comunicar sus conclusiones ¿y los conocimientos y razones últimas que las sustentan- a públicos especializados y no especializados de un modo claro y sin ambigüedades.
Que los estudiantes posean las habilidades de aprendizaje que les permitan continuar estudiando de un modo que habrá de ser en gran medida autodirigido o autónomo.
Capacidad de dirigir, planificar y supervisar equipos multidisciplinares para calcular, diseñar y planificar proyectos, productos, procesos e instalaciones en todos los ámbitos de la Ingeniería del Software asegurando la calidad y homologación del servicio así como la seguridad para las personas y bienes
Capacidad para el modelado matemático, cálculo y simulación en centros tecnológicos y de ingeniería de empresa, particularmente en tareas de investigación, desarrollo e innovación en todos los ámbitos de la Ingeniería del Software y los Sistemas de Información, y también en entornos nuevos o poco conocidos, dentro de contextos más amplios y multidisciplinares, siendo capaces de integrar estos conocimientos

Publicidad

Ver otros masters de...