- -
UPV
 

General data

Curriculum

Regulations

Quality

Compliments, complaints and suggestions

poli[Consulta]



Información General

Ordenación Académica

Normativa Académica y Estructura organizativa

Internship

Master's Thesis

Academic exchange

Ofertas de empleo / Becas

Líneas y Grupos de Investigación

Medidas COVID-19 (Curso 2020/2021)

 

Master's Degree in Software Engineering, Formal Methods and Information Systems Vera (València) Campus, Universitat Politècnica de València

Master's Degree in Software Engineering, Formal Methods and Information Systems

60 credits ECTS

Introducción

Este máster está acreditado internacionalmente con el sello de excelencia EURO-INF, que reconoce que los estudios cumplen ampliamente con las exigencias profesionales en el ámbito de la informática.

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. Este máster aborda las siguientes líneas temáticas:

  • Ingeniería del Software. Se analizan las técnicas que se utilizan en la concepción y desarrollo de los sistemas software de última generación.
  • Tecnología Software Multiparadigma. Profundiza en los fundamentos, el funcionamiento y la implementación de las herramientas automáticas de análisis, verificación, certificación, depuración, transformación y optimización de sistemas software en distintos paradigmas de programación y programación multiparadigma.
  • Sistemas de Información. Se estudian en profundidad las peculiaridades arquitecturales, organizacionales y de interfaz que plantean dichos sistemas, incluyendo la organización, conservación, tratamiento y recuperación de información a partir de datos en distintos formatos.

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.

Dirigido a

  • Ingenieros o licenciados en Informática, diplomados o ingenieros técnicos en Informática.
  • Titulaciones universitarias equivalentes del área de Informática, así como egresados de otros títulos con sello EURO-INF. Se considera titulación equivalente a cualquier otra titulación universitaria cuya formación incluya las competencias básicas y comunes a la rama de Informática (y en particular, las que se ajusten al Acuerdo del Consejo de Universidades, BOE 4 de agosto de 2009 - apartado V del Anexo 2 de la Resolución 12977/2009).

Criterios de admisión

La Comisión Académica del Máster analizará las solicitudes y decidirá si los candidatos cumplen los requisitos académicos para acceder al Máster. Esta Comisión establecerá un baremo, basado principalmente en el expediente académico de los solicitantes y en la afinidad de sus estudios anteriores con el contenido del Máster, que se utilizará para seleccionar a los candidatos.

Organización

Departamento de Sistemas Informáticos y Computación

Entidades colaboradoras

Escuela Técnica Superior de Informática (ETSINF)

National Institute of Informatics, NII (Tokio, Japan)

Cofinanciación

Ministerio de Educación, Cultura y Deporte

RSS
 

EMAS upv