Ir al contenido

Doctorado en Tecnologías para el Desarrollo de Sistemas Software Complejos

Investigación

Grupos y Líneas de Investigación

Las líneas de investigación que dan soporte a este Programa, incluyendo el Máster de Investigación y el Doctorado en relación con dicho Máster, corresponden a las activas en los diversos grupos de investigación de los cuales los profesores del programa son miembros. Todos esos grupos de investigación, listados a continuación, tienen una larga trayectoria y han obtenido el reconocimiento oficial de la UPM.

Proyectos de Investigación en los que participan los profesores del Programa

Proyectos Activos

Proyectos No activos

Tesis del Programa de Doctorado de Investigación en Tecnologías para el Desarrollo de Sistemas Software Complejos

Tesis Presentadas

2010

Título Autor Director/es
Modelo de Aprendizaje para Entornos Distribuidos Colaborativos PALETTA NANNARONE, Mauricio HERRERO MARTÍN, Pilar

2009

Tesis presentadas en 2009 en el nuevo Programa del Departamento
Título Autor Director/es
Middleware para Arquitecturas Multicapa y Orientadas a Servicios Altamente Disponibles y Escalables PÉREZ SORROSAL, Francisco PATIÑO MARTÍNEZ, Marta
Modelo para Detectar la Colaboración en Entornos 3D orientado a la Mejora de la Enseñanza Basada en un Tutor Virtual PEÑA PÉREZ NEGRÓN, Adriana DE ANTONIO JIMÉNEZ, Angélica
Inclusión de Información de Dominio en Modelos de Clustering Basados en Densidad para Datos Estáticos y Data Streams RUIZ MORENO, Carlos MENASALVAS RUIZ Ernestina; SPILIOPOULOU Myra
Esquema Avanzado de Trazabilidad como base para Mejorar los Procesos de Apoyo del Ciclo de Vida ESPINOZA LIMÓN, Angelina GARBAJOSA SOPEÑA, Juan

Tesis en curso

2009

Tesis en curso en 2009 en el nuevo Programa del Departamento
Título Autor Director/es
Modelos Autónomos de Clasificación en Entornos Ubicuos ABAD ARRANZ, Miguel Ángel MENASALVAS RUIZ, Ernestina
Almacenamiento y Análisis Distribuido de Imágenes ALONSO CALVO, Raúl CRESPO DEL ARCO, José
Adaptative Classification over Data Streams on Ubiquitous Enviroment BARTOLO GOMES, Joao MENASALVAS RUIZ, Ernestina
Algoritmos Aproximados y Distribuidos de Minería de Datos para Flujos Masivos de Datos CALLAU ZORI, María del Mar JIMÉNEZ PERIS, Ricardo
Modelo de Competencias para el buen Funcionamiento de la Gobernanza de TI en la Empresa CAPELLÁN HERNÁNDEZ, Diori Cristina CARRILLO VERDÚN, José Domingo
Usability-Enabling Design Patterns CARVAJAL GARCÍA, Laura Elena MORENO SÁNCHEZ-CAPUCHINO, Ana María
Estrategias Avanzadas de Tabulación y Paralelismo para Programas Lógicos CHICO DE GUZMÁN HUERTA, Pablo CARRO LIÑARES, Manuel
Metamodelo para el Proceso de Gestión de la Capacidad y Dispoibilidad de Servicios TI en Microempresas FELIZ SÁNCHEZ, Alleinni CALVO-MANZANO VILLALÓN, José Antonio
A Data Streaming as a Service Cloud Computing Platform GULISANO, Vicenzo Massimiliano JIMÉNEZ PERIS, Ricardo
Analysis of Service-Oriented Computing Systems IVANOVIC, Dragan CARRO LIÑARES, Manuel
Secure Quantum Key Distribution in Pasive Optical Networks LANCHO LANCHO, Daniel MARTÍN AYUSO, Vicente
Propuesta de Arquitectura para Incluir a las Simulaciones en los Sistemas de e-learning: Una Extensión a SCORM MADRIGAL ALFARO, Zayra DE ANTONIO JIMÉNEZ, Angélica; RAMÍREZ RODRÍGUEZ, Jaime
Key Distillation in Quantum Key Distribution Networks MARTÍNEZ MATEO, Jesús MARTÍN AYUSO, Vicente
Inference of Accurate Lower and Upper Bounds on Resource Usage MASUD MD, Abu Naser PUEBLA SÁNCHEZ, Álvaro Germán
Adoption of Agile Software Methodologies in the Large RODRÍGUEZ GONZÁLEZ, María del Pilar GARBAJOSA SOPEÑA, Juan
Estudio de la Viabilidad de Formalizar a través de Patrones la Implementación de Mecanismos de usabilidad RODRÍGUEZ TIBOCHA, Francy Diomar JURISTO JUZGADO, Natalia
Un Modelo Holístico Interactivo y Persuasivo para Facilitar el Autocuidado de Pacientes con Diabetes VARGAS LOMBARDO, Miguel Ángel MENASALVAS RUIZ, Ernestina

2008

Tesis en curso en 2008 en el nuevo Programa del Departamento
Título Autor Director/es
Modelo de Descubrimiento de Conocimiento para Datos Estructuralmente Complejos LARA TORRALBO, Juan Alfonso PÉREZ PÉREZ, Aurora; CARAÇA-VALENTE HERNÁNDEZ, Juan Pedro
Software Release en un Desarrollo 'Agile' CAVERO, Rodrigo GARBAJOSA SOPEÑA, Juan
Propuesta de Formalismos para la Creación de un Sistema de Composición Semántico Centrado en el Usuario para el Desarrollo de Aplicaciones Composicionales basadas en Servicios FERNÁNDEZ GALLEGO, Rafael SORIANO CAMINO, Francisco Javier; LÓPEZ GÓMEZ, Genoveva
Arquitectura Híbrida para Sistemas Cognitivos Artificiales con Comportamiento Emergente, Adaptativo y Auto-Organizado ROMERO LÓPEZ, Oscar Javier DE ANTONIO JIMÉNEZ, Angélica
Propuesta de Adaptación para las Interfaces de Usuario mediante la Computación Evolutiva VÉLEZ LANGS, Oswaldo Enrique DE ANTONIO JIMÉNEZ, Angélica
Estudio de la Aplicabilidad de Métodos Ágiles en la Ingeniería de Dominio e Ingeniería de Aplicación de Líneas de Producto DÍAZ FERNÁNDEZ, Yésica GARBAJOSA SOPEÑA, Juan
Extension and Modularity in Dependently-Typed Programming GARCÍA PÉREZ, Álvaro MORENO NAVARRO, Juan José; NOGUEIRA IGLESIAS, Pablo
Tipología de Replicaciones para la Síntesis de Experimentos en Ingeniería del Software GÓMEZ GÓMEZ, Omar Salvador JURISTO JUZGADO, Natalia
Metamodelo de Validación de Software basado en el Modelo CMMI JIMÉNEZ PUELLO, José de Jesús SAN FELIU GILABERT, Tomás
Conceptualización Formal del Proceso de Integración del Front-End y el Back-End de Aplicaciones Web Compisiscionales LIZCANO CASAS, David ALONSO AMO, Fernando
Especificación del Nivel Social de una Arquitectura Cognitiva para Agentes SPINOLA DE FREITAS, Jackeline IMBERT PAREDES, Ricardo

2007

Tesis en curso en 2007 en el nuevo Programa del Departamento
Título Autor Director/es
Modelo de Descubrimiento de Conocimiento para Series Temporales Numéricas aplicando Métodos Simbólicos SANTAMARÍA FALCÓN, Agustín PÉREZ PÉREZ, Aurora; CARAÇA VALENTE, Juan P.
Propuesta de arquitectura para incluir simulaciones en los sistemas de e-learning: una extensión al modelo SCORM MADRIGAL ALFARO, Zayra ANTONIO JIMÉNEZ, Angélica de; RAMÍREZ RODRÍGUEZ, Jaime
Técnicas Avanzadas de Compilación de Programas Lógicos MORALES CABALLERO, José Francisco CARRO LIÑARES, Manuel

Tesis del Programa de Doctorado de Lenguajes y Sistemas Informáticos e Ingeniería del Software

El Doctorado en relación con el Máster de Investigación en Tecnologías para el desarrollo de Sistemas Software Complejos procede de la adaptación al Espacio Europeo de Educación Superior del anterior programa de Doctorado del Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Software, programa que se ha impartido durante 20 años a lo largo de los cuales se ha llevado a cabo una gran labor de investigación.

Tesis Presentadas en el Programa de Doctorado de Lenguajes y Sistemas Informáticos e Ingeniería del Software

2009

Tesis de 2009 presentadas en el Programa del Departamento
Título Autor Director/es
Marco para la Sección de Técnicas de Educción de Requisitos CARRIZO MORENO, Dante Hugo JURISTO JUZGADO, Natalia; DIESTE TUBÍO, Óscar
Propuesta de Formalismos para la Especificación y Automatización de Adaptaciones de Aplicaciones Web Móviles en base al Contexto JIMÉNEZ GAÑÁN, Miguel SORIANO CAMINO, Francisco Javier; LÓPEZ GÓMEZ, Genoveva

2008

Tesis de 2008 presentadas en el Programa del Departamento
Título Autor Director/es
Una Arquitectura Software basada en Agentes y Recomendaciones Metodológicas para el Desarrollo de Entornos Visuales de Entrenamiento con Tutoría Inteligente MÉNDEZ POZO, Gonzalo DE ANTONIO JIMÉNEZ, Angélica
Interpolación de Formas en Imágenes Usando Morfología Matemática VIDAL VALENZUELA, Javier Enrique CRESPO DEL ARCO, José
Elementos para el Análisis de Métodos de Ingeniería de Software según su Complejidad de Incertidumbre MEDINILLA MARTÍNEZ, Nelson FERRÉ GRAUS, Xavier
Entrenamiento de Grupos: Una estrategia Asistida por Entornos Virtuales Inteligentes AGUILAR VERA, Raúl Antonio ANTONIO JIMÉNEZ, Angélica de
Replicación Autonómica de Bases de Datos MILÁN FRANCO, Jesús Manuel JIMÉNEZ PERIS, Ricardo; KEMME, Bettina
Análisis y Verificación de Programas Modulares (Analysis and Verificación of Modular Programs) CORREAS FERNANDEZ, Jesús PUEBLA SÁNCHEZ, Germán
Techniques for Efficient Event Routing QUERZONI, Leonardo JIMÉNEZ PERIS, Ricardo; BALDONI, Roberto
Especificación de un Modelo de Interacción Aplicable a Procesos de Desarrollo y Operaciones de Sistemas con Software ALARCÓN CAVERO, Pedro Pablo GARBAJOSA SOPEÑA, Juan

2007

Tesis de 2007 presentadas en el Programa del Departamento
Título Autor Director/es
Técnicas de Reconstrucción en la Segmentación de Imágenes: Análisis y Aplicaciones VARGAS VÁZQUEZ, Damián CRESPO DEL ARCO, José
Evaluación Parcial Policontrolada y su Aplicación a la Especialización de Programas Conscientes de los Recursos (Poly-Controlled Partial Evaluation and its Application to Resource-Aware Program Specialization) GABRIEL OCHOA, Claudio Julio PUEBLA SÁNCHEZ, Germán

2006

Tesis de 2006 presentadas en el Programa del Departamento
Título Autor Director/es
Construcción de un Marco para la Evaluación de Competencias para Ingenieros del Software en las Organizaciones COLOMO PALACIOS, Ricardo TOVAR CARO, Edmundo

2005

Tesis de 2005 presentadas en el Programa del Departamento
Título Autor Director/es
Una Arquitectura Cognitiva Multinivel para Agentes con Comportamiento Influido por Características Individuales y Emociones Propias y de otros Agentes IMBERT PAREDES, Ricardo DE ANTONIO JIMÉNEZ, Angélica
Marco de Integración de la Usabilidad en el Proceso de Desarrollo de Software FERRÉ GRAU, Xavier JURISTO JUZGADO, Natalia; MORENO SÁNCHEZ-CAPUCHINO, Ana María
Taxonomía Unificada de Referencia de Fallos Accidentales de Software crítico LÓPEZ PEÑA, Pedro CUEVAS AGUSTÍN, Gonzalo
Arquitectura de Referencia para una Familia de Entornos de Validación de Sistemas MAGRO PEÑA, Belén GARBAJOSA SOPEÑA, Juan
Generación de Métodos Basados en Inteligencia Artificial para el Análisis de Datos Medioambientales. Aplicaciones Prácticas DÍAZ GÓMEZ, Beatriz RIBEIRO SEIJAS, Ángela
AMEVI: Marco Metodológico para el Desarrollo de Entornos Virtuales en Internet. Una Solución basada en Problemas de Usabilidad en la Carga y Construcción CASTÁN RODRÍGUEZ, Héctor José SEGOVIA PÉREZ, Francisco Javier; JOYANES AGUILAR, Luis
Un Nuevo Método de Heurística basado en Mutación y Probabilidad de Aparición de Cromosomas para la Computación Evolutiva Interactiva SÁEZ ACHAERANDIO, Yago SEGOVIA PÉREZ, Francisco Javier; ISASI VIÑUELA, Pedro
Diseño y Uso de Objetos Didácticos Basado en Contratos SÁNCHEZ ALONSO, Salvador SICILIA URBÁN, Miguel Ángel
Sistema Integrado para la Modelización y el Análisis de la Calidad del Aire en Forma Operacional PÉREZ CAMAÑO, Juan Luis SAN JOSÉ GARCÍA, Roberto

2004

Tesis de 2004 presentadas en el Programa del Departamento
Título Autor Director/es
Aplicación de Entornos Virtuales para la Exploración y Búsqueda de Información PÉREZ VÁZQUEZ, César DE ANTONIO JIMÉNEZ, Angélica
Un Modelo Basado en un Enfoque Cooperativo Multidisciplinario para Desarrollar Software Educativo VILLALOBOS ABARCA, Marco Andrés DE ANTONIO JIMÉNEZ, Angélica
Una Aproximación para la Transición del Análisis de la Arquitectura Software en el Dominio de las Aplicaciones Distribuidas PÉREZ MARTÍNEZ, Jorge Enrique SIERRA ALONSO, Almudena
Data Warehousing: Un Modelo para el Repositorio de Metadatos LUNA RAMÍREZ, Enrique GARCÍA MERAYO, Félix; FERNÁNDEZ BAIZÁN, María Covadonga

2003

Tesis de 2003 presentadas en el Programa del Departamento
Título Autor Director/es
NAC: Nodo activo en cluster EIBE GARCÍA, Santiago BALLESTEROS CÁMARA, Francisco; CALDERÓN PASTOR, María
Modelo Matemático Paramétrico de Estimación para Proyectos de Data Mining (DMCOMO) MARBÁN GALLEGO, Óscar MENASALVAS RUIZ, Ernestina; CUADRADO GALLEGO, Juan José
Modelo de Arquitectura Multi-Agente Basado en un Modelo de Sociedad de Agentes FRUTOS CID, Sonia ALONSO AMO, Fernando
Modelo de Calidad del Producto Software Orientado a Objetos FUERTES CASTRO, José Luis ALONSO AMO, Fernando; MONTES GRACIA, César
Modelo para la Generación y Gestión en Tiempo de Ejecución de Procesos de Interacción Hombre-Máquina a Partir de un Lenguaje de Especificación de Relaciones con el Usuario GONZÁLEZ MARTÍNEZ, Ángel Lucas ALONSO AMO, Fernando
Modelo de Arquitectura para Gestión Cooperativa de Sistemas y Servicios Distribuidos basado en Agentes Autónomos SORIANO CAMINO, Francisco Javier ALONSO AMO, Fernando; LÓPEZ GÓMEZ, Genoveva
Modelo de Percepción para Agentes Virtuales Inteligentes (A Human-Like Perceptual Model for Intelligent Virtual Agents) HERRERO MARTÍN, María del Pilar ANTONIO JIMÉNEZ, Angélica de
Un Sistema de Negación para PROLOG MUÑOZ HERNÁNDEZ, Susana MORENO NAVARRO, Juan José

2002

Tesis de 2002 presentadas en el Programa del Departamento
Título Autor Director/es
Modelo Integral del Proceso Software Orientado a las Capacidades ACUÑA CASTILLO, Silvia Teresita JURISTO JUZGADO, Natalia
Semántica y Análisis de Programas Lógico-Funcionales MARIÑO CARBALLO, Julio MORENO NAVARRO, Juan José
Esquema de Caracterización para la Selección de Técnicas de Pruebas de Software VEGAS HERNÁNDEZ, Sira JURISTO JUZGADO, Natalia; BASILI, Víctor

2001

Tesis de 2001 presentadas en el Programa del Departamento
Título Autor Director/es
Aproximación Metodológica a la Construcción de Entornos Virtuales SÁNCHEZ SEGURA, María Isabel ANTONIO JIMÉNEZ, Angélica de
Método de Ingeniería de Requisitos para Manejo de Discrepancias SILVA VAZQUEZ, Andrés MORENO SANCHEZ-CAPUCHINO, Ana María
Arquitectura Distribuida de Control para sistemas con capacidades de Data Mining PEÑA SÁNCHEZ, José María MENASALVAS RUIZ, Ernestina

1999

Tesis de 1999 presentadas en el Programa del Departamento
Título Autor Director/es
Contribución al Estudio de la Estructura Interna de Conjunto de Mandelbrot y Aplicaciones en Criptografía ÁLVAREZ MARAÑÓN, Gonzalo MONTOYA VITINI, Fausto
Cotas de Complejidad Lineal para Criptosistemas Seguros en Comunicaciones de Banda Ancha GARCÍA VILLALBA, Luis Javier FUSTER SABATER, Amparo
Coherencia de Objetos, Coherencia de Rayos y Paralelismo en la Aceleración del Trazado de Rayos GONZÁLEZ LÓPEZ, Pascual Jesús GISBERT CANTÓ, Francisco Javier
Arquitectura y Algoritmos para Sistemas Transaccionales Distribuidos con Grupos de Procesos JIMÉNEZ PERIS, Ricardo AREVALO VIÑUALES, Sergio
Modelo y Lenguaje para Sistemas Transaccionales Distribuidos Cooperativos y altamente disponibles PATIÑO MARTINEZ, Marta AREVALO VIÑUALES, Sergio
Soporte de Redes Activas para un Servicio Integrado de Multipunto Fiable con Control de Congestión SEDANO RUIZ, María Felisa CALDERÓN PASTOR, María
Modelo de Referencia para Entornos de Ingeniería de Software VICENTE HURTADO, Juan Carlos de FERNÁNDEZ BAIZÁN, María Covadonga

1998

Tesis de 1998 presentadas en el Programa del Departamento
Título Autor Director/es
Propuesta de un Servicio de Delegación de Identidad en Sistemas Distribuidos BARCIA VÁZQUEZ, Nicolás Benigno LÓPEZ GÓMEZ, Genoveva
Entorno Inteligente de Simulación para el Aprendizaje EL ALAMI HASSOUN, Mohamed ARRIAGA GÓMEZ, Fernando de
ADVICE. Arquitectura Adaptable y Extensible de Memoria Virtual para Entornos Distribuidos LÓPEZ FERNÁNDEZ, Luis MIGUEL CASTAÑO, Adoración de
Organización y Jerarquización de Autoridades de Certificación para la Provisión de Servicios de Seguridad en Redes Telemáticas LÓPEZ SANTIDRIÁN, Lourdes CARRACEDO GALLARDO, Justo
Propuesta de Estructuración del Conocimiento Lingüístico para Interpretación de Textos: Aplicación al Diseño de Bases de Datos MARTÍNEZ FERNÁNDEZ, Paloma GARCÍA SERRANO, Ana María; MIGUEL CASTAÑO, Adoración de
Integración del Proceso de Inferencia de Conocimiento con los Sistemas de Bases de Datos Relacionados: Formalización Matemática de la Fase de Análisis MENASALVAS RUIZ, Ernestina FERNÁNDEZ BAIZÁN, María Covadonga; WASILEWSKA, Anita
Un Modelo Formal para la Especificación, Análisis, Verificación e Implantación de Protocolos de Seguridad MENGUAL GALÁN, Luis FERNÁNDEZ DEL VAL, Carlos
Método formal de Modelización Conceptual para Sistemas Software MORENO SÁNCHEZ-CAPUCHINO, Ana María JURISTO JUZGADO, Natalia
Órbitas de las Funciones Cuadráticas sobre Cuerpos Finitos. Aplicaciones a la Generación de Secuencias Pseudoaleatorias y al Diseño de criptosistemas PEINADO DOMÍNGUEZ, Alberto MONTOYA VITINI, Faustino
Modelo de Dependencias de Datos basado en Predicados para Supercomputadores RODRÍGUEZ GÓMEZ, Francisco Javier GARCÍA MERAYO, Félix
Generación Automática de Representaciones de Dominios VELASCO DE DIEGO, Manuel MARTÍNEZ ORGA, Vicente

1997

Tesis de 1997 presentadas en el Programa del Departamento
Título Autor Director/es
Unificación de los Protocolos de Multipunto Fiable Optimizando la Escalabilidad y el Retardo CALDERÓN PASTOR, María del Carmen AZCORRA SALOÑA, Arturo
(MIMO): Propuesta de un Metamodelo de Objetos y su Aplicación al Diseño de Bases de Datos MARCOS MARTÍNEZ, Esperanza MIGUEL CASTAÑO, Adoración de; PIATTINI VELTHUIS, Mario

1996

Tesis de 1997 presentadas en el Programa del Departamento
Título Autor Director/es
Gestión Global de Base de Datos en una Estructura Compleja de Sistemas de Control de Energía ARRONTE VILLEGAS, Fernando LÓPEZ SEBASTIÁN, Julio
Aportación a las Técnicas de Evaluación de la Productividad del Software en los Entornos de Programación BARRANCO GARCÍA, Manuel José GRANJA ÁLVAREZ, Juan Carlos; VELÁZQUEZ ITURBIDE, Jesús Ángel
Las dependencias Multivaluadas en el Proceso Deductivo bajo una Semántica Conjuntista MILLÁN GONZÁLEZ, Marta Elena del Socorro FERNÁNDEZ BAIZÁN, María Covadonga

1995

Tesis de 1995 presentadas en el Programa del Departamento
Título Autor Director/es
Cuentos Electrónicos para el Aprendizaje de Niños con Necesidades Especiales AEDO CUEVAS, Ignacio SANCHIS LLORCA, Francisco Javier; RODRÍGUEZ DE LAS HERAS, Antonio
Modelo Abstracto para el Desarrollo de Sistemas Hipermediales Seguros DÍAZ PÉREZ, María Paloma RIBAGORDA GARNACHO, Arturo; HERAS PÉREZ, Antonio
Definición y Construcción de un Lenguaje Relacional de Interrogación con Capacidad para Expresar Inferencias Recursivas SANTOS MENÉNDEZ, Eugenio FERNÁNDEZ BAIZÁN, María Covadonga

1994

Tesis de 1994 presentadas en el Programa del Departamento
Título Autor Director/es
MEOODE. Método de una Especificación Orientada a Objetos derivada de una Especificación Estructurada CALLES PRIETO, Marta CUEVAS AGUSTÍN, Gonzalo
Definición de una Metodología de Desarrollo para Base de Datos Orientadas al Objeto Fundamentadas en Extensiones del Modelo Relacional PIATTINI VELTHUIS, Mario Gerardo MIGUEL CASTAÑO, Adoración de
Generadores de Números Aleatorios en Criptografía SÁNCHEZ GARCÍA, Sergio PORTAENCASA BAEZA, Rafael
Una Interpretación Algebraica de la Verificación de Sistemas basados en el Conocimiento ANTONIO JIMÉNEZ, Angélica de LAITA DE LA RICA, Luis; PÉREZ PÉREZ, Aurora
DIARIA: Un Modelo de Multirazonamiento CARAÇA-VALENTE HERNÁNDEZ, Juan Pedro BORRAJO MILLÁN, Daniel

1992

Tesis de 1992 presentadas en el Programa del Departamento
Título Autor Director/es
Propuesta de Definición de un Perfil de Aplicación de Comunicación basado en la clase de servicio de tratamiento y manipulación de documentos FERNÁNDEZ CALVO, Antonio FERNÁNDEZ DEL VAL, Carlos; LÓPEZ GÓMEZ, Genoveva
Contribución al Estudio de las Técnicas de Garantía de calidad del software. Su incidencia en la planificación GRANJA ÁLVAREZ, Juan Carlos COLLADO MACHUCA, Manuel Enrique

1991

Tesis de 1991 presentadas en el Programa del Departamento
Título Autor Director/es
Una Interpretación Lógico-Algebraica de la Semántica de la programación PÉREZ PÉREZ, Aurora LAITA DE LA RICA, Luis María; MORANT RAMÓN, José Luis
Aportación para la mejora de la conceptualización y soporte tecnológico de los sistemas de información territorial ROS DOMINGO, Ángel MATÉ HERNÁNDEZ, José Luis

1990

Tesis de 1990 presentadas en el Programa del Departamento
Título Autor Director/es
Definición de un entorno de especificación de software de comunicaciones para redes de servicios avanzados LÓPEZ GÓMEZ, Genoveva GARCÍA TOMÁS, Jesús; PEREDA SORIANO, Orlando
Acelerador del algoritmo trazador de rayos por métodos incrementales para la síntesis de imágenes en tres dimensiones RAMOS MONTERO, Ricardo PÉREZ JIMÉNEZ, Libia
Aportaciones metodológicas en la síntesis, visualización y simulación de algoritmos para arquitecturas paralelas regulares SÁNCHEZ CALLE, Ángel CERRADA SOMOLINOS, José Antonio
Derivación deductiva de programas funcionales con patrones VELÁZQUEZ ITURBIDE, Jesús Ángel CERRADA SOMOLINOS, José Antonio

Tesis Dirigidas por Profesores del Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Sofware y presentadas en otros Programas de Doctorado

2009

Tesis de 2009 presentadas en otros Programas
Título Autor Director/es Lugar de Presentación
La Conciencia: Modelado de sus Funciones Cognitivas para Entidades Artificiales mediante Redes Neuronales Modulares MARTÍNEZ LUACES, Milton RODRÍGUEZ-PATÓN ARADAS, Alfonso Programa de doctorado conjunto LSIIS y la Universidad ORT de Uruguay
Metodología para la Definición de Requisitos en Proyectos de Data Mining (ER-DM) GALLARDO ARANCIBIA, José Alberto MARBÁN GALLEGO, Óscar Doctorado Conjunto de LSIIS con la Universidad Católica del Norte de Chile

2007

Tesis de 2007 presentadas en otros Programas
Título Autor Director/es Lugar de Presentación
Practical and Consistent Database Replication Yi Lin JIMÉNEZ PERIS, Ricardo; KEMME, Bettina McGill University, Toronto, Canada

2006

Tesis de 2006 presentadas en otros Programas
Título Autor Director/es Lugar de Presentación
Modelos Automatizables de Estimación muy Temprana del Tiempo y Esfuerzo de Desarrollo de Sistemas de Información SALVETTO DE LEÓN, Pedro SEGOVIA PÉREZ, Francisco Javier; NOGUEIRA DE LEÓN, Juan Carlos Programa de Doctorado Conjunto LSIIS y Universidad ORT de Uruguay

2004

Tesis de 2004 presentadas en otros Programas
Título Autor Director/es Lugar de Presentación
Modelo para la Creación de Entornos de Aprendizaje basado en Técnicas de Gestión del Conocimiento FRISS DE KEREKI, Inés AZPIAZU CUENCA, Javier; CRESPO DEL ARCO, José Programa de Doctorado Conjunto LSIIS y Universidad ORT de Uruguay

2002

Tesis de 2002 presentadas en otros Programas
Título Autor Director/es Lugar de Presentación
Método para la Verificación de Sistemas Híbridos basado en la Propagación de Etiquetas RAMÍREZ RODRÍGUEZ, Jaime ANTONIO JIMENEZ, Angélica de Departamento de Inteligencia artificial

2001

Tesis de 2001 presentadas en otros Programas
Título Autor Director/es Lugar de Presentación
Diseño de Redes de Neuronas y Nuevas Técnicas de Optimización Mediante Algoritmos Genéticos MANRIQUE GAMO, Daniel RÍOS CARRIÓN, Juan; BARRIOS ROLANÍA, Dolores Departamento de Inteligencia artificial

2000

Tesis de 2000 presentadas en otros Programas
Título Autor Director/es Lugar de Presentación
Método para la Construcción de Modelos Conceptuales Expertos SIERRA ALONSO, Almudena JURISTO JUZGADO, Natalia; PAZOS SIERRA, Juan Departamento de Inteligencia artificial

1998

Tesis de 1998 presentadas en otros Programas
Título Autor Director/es Lugar de Presentación
Aprendizaje Genético en Sistemas basados en Reglas para la Evolución de Estrategias y Reacciones en Entornos Complejos SANCHIS DE MIGUEL, María Araceli SEGOVIA PÉREZ, Francisco Javier; ISASI VIÑUELA, Pedro Departamento de Inteligencia artificial
Nuevos Modelos de Redes de Neuronas Artificiales para Simulación y Control de Sistemas Dinámicos GALVÁN LEÓN, Inés María BARRIOS ROLANÍA, Dolores; ISASI VIÑUELA, Pedro Departamento de Inteligencia artificial

1994

Tesis de 1994 presentadas en otros Programas
Título Autor Director/es Lugar de Presentación
Estudio de Aplicabilidad de Métricas de Software a la Construcción de sistemas basados en los conocimientos TOVAR CARO, Edmundo JURISTO JUZGADO, Natalia Departamento de Inteligencia artificial
Condiciones de Convergencia en Algoritmos Genéticos mediante Modelos Dinámicos MALUMBRES MARTINEZ, Luis BARRIOS ROLANÍA, Dolores; RÍOS CARRIÓN, Juan Departamento de Inteligencia artificial

1991

Tesis de 1991 presentadas en otros Programas
Título Autor Director/es Lugar de Presentación
Un sistema Tutorial Inteligente Aplicado a la Enseñanza de la Geometría ROJAS GUZMÁN, Gonzalo FERNÁNDEZ BAIZÁN, María Covadonga; PASCUAL IGLESIAS, Miguel Ángel Departamento de Inteligencia artificial
Operador de Cruce Generalizado en Algoritmos Genéticos BARRIOS ROLANÍA, Dolores PÉREZ RUY-DÍAZ, José Antonio; RÍOS CARRIÓN, Juan Departamento de Inteligencia artificial
Elaboración de un Benchmark para Herramientas de Aprendizaje Automático para Inducción a partir de Ejemplos MUÑOZ ORGANERO, Pedro Luis ALONSO AMO, Fernando; PAZOS SIERRA, Juan Departamento de Inteligencia artificial

1990

Tesis de 1990 presentadas en otros Programas
Título Autor Director/es Lugar de Presentación
Contribución a la Mejora de las Técnicas de Auditoría Informática mediante la Aplicación de Métodos y Herramientas de Ingeniería del Conocimiento RAMOS GONZÁLEZ, Miguel Ángel MATÉ HERNÁNDEZ, José Luis Escuela Técnica Superior de Ingenieros Informáticos
Aplicación de Algoritmos Genéticos en Sistemas Evolutivos de Aprendizaje Automático MARTÍN SÁNCHEZ, Fernando ALONSO AMO, Fernando Escuela Técnica Superior de Ingenieros Informáticos
Un Sistema de Creatividad Computacional RUIZ OLIVERAS, Wilfredo ALONSO AMO, Fernando Escuela Técnica Superior de Ingenieros Informáticos
Aplicación del Método de Selección de Patrones Verbales al Español (Castellano) ASTUDILLO PACHECO, Francisco ALONSO AMO, Fernando Escuela Técnica Superior de Ingenieros Informáticos
Método Incremental de Compilación de Conocimiento Inteligente (MINNIE) BORRAJO MARTÍN, Daniel ALONSO AMO, Fernando; PAZOS SIERRA, Juan Escuela Técnica Superior de Ingenieros Informáticos

1989

Tesis de 1989 presentadas en otros Programas
Título Autor Director/es Lugar de Presentación
Sistemas de Soporte para la toma de Decisiones con Múltiples Criterios de Optimización. Contribución a su Formalización y Aplicación en la Elección de Sistemas Informáticos RUEDA CLAUSELL, Antonio Jaime MATÉ HERNÁNDEZ, José Luis Escuela Técnica Superior de Ingenieros Informáticos

1982

Tesis de 1982 presentadas en otros Programas
Título Autor Director/es Lugar de Presentación
Un Método Estructural Descriptivo para el Reconocimiento de Caracteres Manuscritos Vía la Extracción de Características Geométricas y Topológicas PÉREZ JIMÉNEZ, Libia PORTAENCASA BAEZA, Rafael Escuela Técnica Superior de Ingenieros Informáticos

Tesis en Curso aprobadas en el Programa de Doctorado del Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Sofware

2008

Tesis en curso con proyecto aprobado en 2008
Título Autor Director/es
Definición de un Marco de Trabajo para la Gobernanza de las TI en las Oragnizaciones pequeñas y PIMEs ARROYO JÁVEGA, Alberto Javier CARRILLO VERDÚN, José Domingo
Identificación Empírica de Benificios de Usabilidad AVELEDO MAYZ, Marianella MORENO SÁNCHEZ CAPUCHINO, Ana María
Meddepro-Método para el Despliegue Eficiente de Procesos Definidos y Medidos en Múltiples Organizaciones BAYONA ORE, Luz Susy CUEVAS AGUSTÍN, Gonzalo; SAN FELIU GILABERT, Tomás
Mejora para la Calidad del Software en las Microempresas del Sector de TI CABALLERO RÚA, Edgar Henry CALVO-MANZANO VILLALÓN, José Antonio
Proceso de Revisión Sistemática de Experimentos en Ingeniería de Software GRIMÁN PADUA, Anna JURISTO JUZGADO, Natalia; DIESTE TUBÍO, Oscar
Gobierno de la Externalización dek oricesi de Desarrollo del Software a través de la Ingeniería del Contrato MEJÍA MIRANDA, Jezreel CUEVAS AGUSTÍN Gonzalo; CALVO MANZANO VILLALÓN, José A.
Termination Analysis of Embedded Applications and Libraries from Java Micro Edition RAMÍREZ DEANTES, Diana Vanessa PUEBLA SÁNCHEZ, Álvaro Germán
Un Marco para la Integración de Resolvedores de Restricciones Perezosos Genéricos en la Programación Lógico-Funcional REY POZA, José María MARIÑO CARBALLO, Julio
Metodología para Categorizar Consultas Enviadas a un Motor de Búsqueda Web VALENCIA PELÁEZ, Maria Cecilia MENSALVAS RUIZ, Ernestina
Propuesta de una Metodología para la Preparación de Datos en Entornos de Data Mining Ubícuos HIDALGO REYES, Miguel Ángel EIBE GARCÍA, Santiago

2007

Tesis en curso con proyecto aprobado en 2007
Título Autor Director/es
MEGIAD-Metodología de la Gestión de Riesgos para el proceso de Adquisición de Software y Servicios Correlacionados en Pequeños Entornos GASCA HURTADO, Gloria Piedad CUEVAS AGUSTIN, Gonzalo; SAN FELIU GILABERT, Tomás
Una Propuesta de Modelado del Estudiante basada en Ontologías y Diagnóstico Pedagógico-Cognitivo no Monótono CLEMENTE PÁRRAGA, Julia María ANTONIO JIMÉNEZ, Angélica de; RAMÍREZ RODRÍGUEZ, Jaime
Metamodelo para la Gestión de Niveles de Servicio (Megans) GÓMEZ CRUZ, Gerzón Eliud CUEVAS AGUSTIN, Gonzalo; CALVO-MANZANO, José Antonio
Medidas de Calidad para Software Orientado a Agentes SOZA POLMAN, Héctor Juan FUERTES CASTRO, José Luis
Modelo de Procesos Repetible, Gestionable y Medible para el Desarrollo de Proyectos de Data Mining MARISCAL VIVAS, Gonzalo MARBÁN, Óscar; GONZALEZ, Ángel Lucas
High Performance and High Available Database Replication SERRANO GARCÍA, Damián PATIÑO MARTÍNEZ, Marta
Metamodelo para la Definición, Implantación y Mejora de los Procesos de Gestión de Proyectos GARCÍA PACHECO, Iván Antonio CALVO-MANZANO, José Antonio; SAN FELIU, Tomás

2006

Tesis en curso con proyecto aprobado en 2006
Título Autor Director/es
Metamodelo para la Mejora del Proceso de Gestión de Requisitos SERRRANO RICO, Ariel Edgar CUEVAS AGUSTÍN, Gonzalo; CALVO-MANZANO, José Antonio
Modelo de Atención para un Agente Virtual inteligente TRONCOSO PANTOJA, Brunny Angélica ANTONIO JIMÉNEZ, Angélica de; IMBERT PAREDES, Ricardo

2005

Tesis en curso con proyecto aprobado en 2005
Título Autor Director/es
Optimización Global para la Determinación Estructural de Superficies MUÑOZ MARTÍN, Guadalupe MARTÍN AYUSO, Vicente; MARTÍN GAGO, José Ángel
Conceptuación de un Entorno de Ingeniería de Software Centrado en Documentos BOLLAÍN PÉREZ, Manuel GARBAJOSA SOPEÑA, Juan

2004

Tesis en curso con proyecto aprobado en 2004
Título Autor Director/es
Avances Recientes en el Criptoanálisis del Criptosistema de Chor-Rivest. Aplicaciones Criptográficas QUEIRUGA DIOS, Araceli HERNÁNDEZ ENCINAS, Luis; DÁVILA MURO, Jorge
Un Marco Formal para MDA Basado en Grafos Conceptuales SUTIL MARTÍN, Miguel Antonio GISBERT CANTÓ, Francisco
OCA-GRAPH: Un Marco Conceptual para la Simulación de Procesos de Aprendizaje BURGOS ORTIZ, José Manuel MORALES FERNÁNDEZ, Rafael
PLODEM: Una Metodología de Diseño Orientada al Aprendizaje de la Programación GALVE FRANCÉS, Javier MORALES FERNÁNDEZ, Rafael
Un Modelo Declarativo para el Desarrollo Basado en Reglas de Negocio GARCÍA MARTÍN, Julio GISBERT CANTÓ, Francisco
Mejora de la Arquitectura de Sistemas Gráficos Interactivos basados en el Patrón MVC y derivados mediante la Separación de Funciones Relevantes LÓPEZ SÁNCHEZ, Jesús COLLADO MACHUCA, Manuel
An Object-Oriented Formal Notation: Executable Specifications in Clay HERRANZ NIEVA, Ángel MORENO NAVARRO, Juan José
Sistema de Reconstrucción 3D de Valoración Topológica MARTÍNEZ ORTIZ, Andrés Leonardo PEÑA SÁNCHEZ, José María

Tesis en Curso aprobadas en otros programas de doctorado y dirigidas por Profesores del Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Sofware

2009

Tesis en curso con proyecto aprobado en 2009 dirigidas por profesores del Departamento en otros Programas
Título Autor Director/es Programa
Definición de un Modelo de Accesibilidad para Recursos Educativos Abiertos (OERs) CHICAIZA ESPINOSA, Janneth Alexandra TOVAR CARO, Edmundo Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay
Modelo de Accesibilidad para Recursos Educativos Abiertos y Basado en Servicios Web Semánticos LÓPEZ VARGAS, Jorge Afranio TOVAR CARO, Edmundo Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay
Modelo de Interoperabilidad para Recursos Educativos Abiertos PIEDRA PULLAGUARI, Nelson Oswaldo TOVAR CARO, Edmundo Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay
Tecnologías Avanzadas de Desarrollo de Software y Sistemas de Información TORRES TANDAZO, Rommel Vicente TOVAR CARO, Edmundo Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay

2008

Tesis en curso con proyecto aprobado en 2008 dirigidas por profesores del Departamento en otros Programas
Título Autor Director/es Programa
Un Proceso para la Evaluación del Entrenamiento Organizacional MATOLONGA MOTA, Santiago SAN FELIU GILABERT, Tomás Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay
Paquetes de Laboratorio para la Replicación de Experimentos de Ingeniería de Software SOLARI BUELA, Martín VEGAS HERNÁNDEZ, Sira; JURISTO JUZGADO, Natalia Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay
Tecnologías Avanzadas de Desarrollo de Software y Sistemas de Información BEKIOS CALFA, Juan Demóstenes BAUMELA MOLINA, Luis Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay
Garantía de Calidad en Educación Virtual no Formal para Pueblos Indígenas DOLZ SALVADOR, Fátima Consuelo TOVAR CARO, Edmundo Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay
Framework Unificado de Gestión de Proyectos de Data Mining GUTIÉRREZ FAÚNDEZ, Marco Antonio MENASALVAS RUÍZ, Ernestina Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay
Metodología para el Aseguramiento de Calidad en la Adquisición del Software (proceso y producto) y Servicios Correlacionados (MACAD-PP) VEGA ZEPEDA, Vianca Rosa CALVO-MANZANO VILLALÓN, José Antonio Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay

2007

Tesis en curso con proyecto aprobado en 2005 dirigidas por profesores del Departamento en otros Programas
Título Autor Director/es Programa
Modelo de Similitud Semántica LATORRES MARTÍNEZ, Enrique P. FERNÁNDEZ LÓPEZ, Mariano Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay
Medidas de Calidad para Software Orientado a Agentes SOZA POLLMAN, Héctor Juan FUERTES CASTRO, José Luis Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay

2006

Tesis en curso con proyecto aprobado en 2006 dirigidas por profesores del Departamento en otros Programas
Título Autor Director/es Programa
Modelo para la Gestión de la Experiencia, Integrada a las prácticas y procesos de desarrollo de Software MATTURRO MAZONI Gerardo SILVA VÁZQUEZ, Andrés Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay

2003

Tesis en curso con proyecto aprobado en 2003 dirigidas por profesores del Departamento en otros Programas
Título Autor Director/es Programa
Técnicas de Valoración de las Sesiones Web Integrando los Objetivos de Negocio para la Obtención de Perfiles de Usuario HOCHZSTAIN KUNIN, Esther EIBE GARCÍA, Santiago; MARBÁN GALLEGO, Óscar Doctorado Conjunto de LSIIS con la Universidad ORT de Uruguay