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
  • Otras Convocatorias:

    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...