Departamento de Sistema Informáticos y Computación
Intranet
Posgrado
Información
Inscripción
FAQ

Universidad Politécnica de Valencia

WebMail WebMail

www@dsic.upv.es
Máster-Máster-Programas-Máster
Todas las asignaturas del máster
Título de la asignaturaCtos.ProfesoresSemestre
AMD: Almacenes de datos y minería de datos (FI)5
 Matilde Celma Gimenez
 José Hernández Orallo
B
BDI: Bibliotecas digitales2.5
 José Hilario Canós Cerdá
 Eduardo Mena Nieto
A
DAJ: Desarrollo de aplicaciones en Java2.5
 Tomás Pérez Hernández
B
DFC: Desarrollo de software fiable (FI)5
 Alicia Villanueva García
B
DSV: Descripción, simulación y verificación de sistemas concurrentes2.5
 Marisa Llorens Agost
 Javier Oliver Villarroya
A
EAC: Extracción automática de conocimiento en bases de datos e ingeniería del software2.5
 César Ferri Ramírez
 José Hernández Orallo
 María José Ramírez Quintana
B
FL: Fundamentos lógicos de la ingeniería del software y los sistemas de información3
 María José Ramírez Quintana
 Germán Vidal Oriola
A
GM: Gestión de modelos2.5
 Isidro Ramos Salavert
B
ILN: Ingeniería del lenguaje natural2.5
 Antonio Molina Marco
 Lidia Moreno Boronat
A
ISA: Ingeniería del software automática4
 María Alpuente Frasnedo
 Santiago Escobar Román
 Salvador Lucas Alba
A
ISD: Integración semántica de datos3
 Juan Carlos Casamayor Ródenas
 Matilde Celma Gimenez
B
ISM: Ingeniería del software con modelos (FI)5
 Isidro Ramos Salavert
A
MDI: Modelado, diseño e implementación de servicios web2.5
 Vicent Pelechano Ferragud
B
MFI: Métodos formales de la ingeniería del software (FI)5
 María Alpuente Frasnedo
 Santiago Escobar Román
A
MSI: Modelado de sistemas de información (FI)5
 Arturo González del Río Rams
A
OAP: Generación y optimización automática de programas (FI)5
 Germán Vidal Oriola
A
PDS: Proyecto de desarrollo de software (FI)5
 Patricio Letelier Torres
A
PSW: Patrones software y generación de código (FI)5
 Vicent Pelechano Ferragud
B
SBD: Sistemas avanzados de bases de datos (FI)5
 Juan Carlos Casamayor Ródenas
 Matilde Celma Gimenez
B
TAI: Técnicas avanzadas en ingeniería de requisitos2.5
 Emilio Insfrán Pelozo
 Patricio Letelier Torres
B
TBD: Tecnología de bases de datos (FI)5
 Juan Carlos Casamayor Ródenas
 Oscar Pastor López
A
TSD: Tecnología software declarativa (FI)5
 Salvador Lucas Alba
A
TSW: Técnología software para ambientes web4
 Oscar Pastor López
B
Lógica aplicada a la Verificación de Software y Optimización2
 Alicia Villanueva García
B
Lógica de reescritura y Aplicaciones para Ingeniería de la Programación2
 Santiago Escobar Román
B
Calidad de Sistemas de Información Web2
 Silvia Mara Abrahão
B
Goal-Oriented Requirements Engineering2
Jaelson Castro
B
User Interface Conceptual Modelling2
Jean Vanderdonckt
B
Fundamentals of Specifying and Verifying Information Systems2
Hans Dieter Ehrich
B
Coordination Technologies for Architectural Modelling2
José Luis Fiadeiro
B
Introducción a MDA (Model Driven Architecture)1
 Emilio Insfrán Pelozo
B


www@dsic.upv.es