Ir al contenido

Doctorado: Lenguajes y Sistemas Informáticos e Ingeniería de Software

Investigación del Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Software

Areas de Investigación

Palabras Clave

Trabajos de Invesitgación realizados por los Alumnos de Doctorado

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

Tesis Presentadas en el Programa de Doctorado de Lenguajes y Sistemas Informáticos e Ingeniería de 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