Logo LSI rótulo LSI Logo US

Docencia | Investigación | Personal | Información | Noticias | Enlaces | Descargas | Zona privada

Postgrado Oficial en Ingeniería y Tecnología del Software - Repositorio


Trabajos fin de Máster

En este momento no hay Trabajos Fin de Máster disponibles.

Tesis Doctorales

Fecha Alumno/a Director(es) Título
21/1/2013 D. Alejandro Fernández-Montes González Dr. Juan Antonio Ortega Ramírez
Dr. Luis González Abril.
Energy-Saving Policies in Grid-Computing and Smart Environments
22/7/2010 Pablo Neira Ayuso Rafael Martínez Gasca
Laurent Lefèvre
Architectures for the high availability of stateful firewalls
27/5/2010 Juan Antonio Álvarez García Juan Antonio Ortega Ramirez
Luis González Abril.
Técnicas de predicción de destinos geográficos futuros en desplazamientos de personas
22/10/2008 Javier Navascués Fernández-Victorio Isabel Ramos Román Un Modelo para la Simulación Híbrida de la Producción de Software a Medida en un Entorno Multiproyecto
1/7/2008 Manuel Resinas Arias de Reyna Rafael Corchuelo Gil Automating the Negotiation of Agreements
17/12/2007 María Teresa Gómez López Rafael Martínez Gasca
Carmelo del Valle Sevillano
LORCDB: Gestor de Bases de Datos Objeto-Relacionales de Restricciones
28/11/2007 Pedro J. Abad Herrera Rafael Martínez Gasca
Juan A. Ortega Ramírez
Diagnosis de Sistemas Dinámicos Mediante el Aprendizaje de Modelos Proposicionales
26/10/2007 Octavio Martín Díaz Antonio Ruiz Cortés Emparejamiento Automático de Servicios Web Usando Programación con Restricciones
1/9/2007 David Felipe Benavides Cuevas Antonio Ruiz Cortés On the Automated Analysis of Software Product Lines using Feature models. A framework for developing automated tool support.
15/6/2006 Roberto Ruiz Sánchez José C. Riquelme Santos
Jesús S. Aguilar Ruiz
Heurísticas de Selección de Atributos para datos de gran dimensionalidad
12/6/2006 Santiago Patricio Serendero Sáez José Miguel Toro Bonilla Methods for Knoweldge Discover in Data
15/7/2005 Joaquín Peña Siles Rafael Corchuelo Gil On Improving the Modelling of Complex Acquaitance Organisations of Agents
10/12/2004 José Luis Arjona Fernández Rafael Corchuelo Gil Bringing the knowledge on the Web to Software Agents
10/12/2004 Beatriz Bernárdez Jiménez Amador Durán Toro Una aproximación empírica al desarrollo de heurísticas
12/10/2004 María José Escalona Cuaresma Manuel Mejías Risoto
Jesús Torres Valderrama
Modelos y técnicas para la especificación y el análisis de la navegación en sistemas software
19/12/2003 David Ruiz Cortés Rafael Corchuelo Gil Selección Justa en el Contexto del Modelo de Interacción entre Múltiples Participantes. De un Enfoque Teórico a un Enfoque Práctico
25/9/2003 Javier Aroba Páez Isabel Ramos Román
José Cristóbal Riquelme Santos
Avances en la toma de decisones en proyectos de desarrollo de software
1/5/2003 Vicente Carrillo Montero Víctor Jesús Díaz Madrigal Análisis Sintáctico Eficiente de Gramáticas de Adjunción e Inserción de Árboles
1/5/2002 Antonio Ruiz Cortés Rafael Corchuelo Gil
Miguel Toro Bonilla
Una Aproximación Semicualitativa al Tratamiento Automático de Requisitos de Calidad
1/9/2001 Carmelo del Valle Sevillano Eduardo Fernández Camacho
Miguel Toro Bonilla
Algoritmos Heurísticos para la Selección de Secuencias Óptimas de Ensamblaje
1/4/2001 José Antonio Pérez Castellanos Rafael Corchuelo Gil
Miguel Toro Bonilla
Un Framework Orientado a Aspectos para la Descripción del Comportamiento Coordinado en Sistemas Abiertos
1/6/2000 Francisco José Galán Morillo Miguel Toro Bonilla Formalizaciones para Sintetizar Software Orientado a Objetos
1/6/2000 Víctor Jesús Díaz Madrigal Miguel Toro Bonilla Gramáticas de Adjunción de Árboles: Un Enfoque Deductivo en el Análisis Sintáctico
1/5/2000 Amador Durán Toro Miguel Toro Bonilla Un Entorno Metodológico de Ingeniería de Requisitos para Sistemas de Información
1/4/2000 Juan Antonio Ortega Ramírez Miguel Toro Patrones de comportamiento temporal en modelos semicualitativos con restricciones
10/12/1999 Jesús Torres Valderrama Miguel Toro Bonilla Especificaciones Orientadas a Objetos Basadas en Restricciones
1/10/1999 Rafael Corchuelo Gil Miguel Toro Bonilla Prototipado de Especificaciones de Sistemas Distribuidos Basadas en Restricciones
1/9/1999 José Mariano González Romano Eduardo Fernández Camacho Aplicación del lenguaje natural a la adquisición de conocimientos y operación de sistemas complejos
1/6/1999 Isabel Ramos Román Miguel Toro Bonilla Un Nuevo Enfoque en la Gestión de Proyectos de Desarrollo de Software
1/5/1999 Jose Antonio Troyano Jiménez Miguel Toro Bonilla Herencia y Clasificación en un Lenguaje de Especificación Orientado a Objetos
1/1/1999 José Cristóbal Riquelme Santos Miguel Toro Bonilla Obtención de Información Cualitativa a partir de Datos Cuantitativos: Aplicación al Análisis de Sistemas Complejos
1/1/1999 Rafael Martínez Gasca Miguel Toro Bonilla Razonamiento y Simulación en Sistemas que Integran Conocimiento Cualitativo y Cuantitativo

Proyectos de Tesis Doctorales

Fecha Alumno/a Director(es) Título
28/5/2010 Pablo Neira Ayuso Rafael Martínez Gasca Arquitecturas para la alta disponibilidad de cortafuegos con estados
28/5/2010 Sergio Segura Rueda, David Benavides Cuevas
Antonio Ruiz Cortés
Extended Support for the Automated Treatment of Feature Models
1/2/2010 José J. Bocanegra García Joaquín Peña Siles
Antonio Ruiz Cortés
Towards an Agile Business Modeling and Requirement Specification on Interorganizational Environments
25/9/2009 Fabricia Carneiro Roos Antonio Ruiz Cortés
David F. Benavides Cuevas
Automated Analysis of Software Product Lines: An Approach to Deal with Orthogonal Variability Models
24/11/2008 Rafael Zancan Frantz Rafael Corchuelo Gil Integración de Aplicaciones: Un Lenguaje Específico de Dominio para el Diseño de Soluciones de Integración
1/11/2008 Pablo Trinidad Martín-Arroyo Antonio Ruiz Cortés Explanations in Software Product Lines Analysis
1/11/2008 Alejandro Fernández-Montes González Juan Antonio Ortega Ramírez
Luis González Abril
Smart Environment Software Reference Architecture
22/9/2008 Fernando Enríquez de Salamanca Ros José A. Troyano Jiménez Combinación de Sistemas mediante Aprendizaje Automático en Tareas de Procesamiento de Lenguaje Natural
16/7/2008 Juan Antonio Álvarez García Juan Antonio Ortega Ramírez
Luis González Abril
Técnicas de predicción de destinos geográficos futuros en desplazamientos de personas
15/7/2008 Javier Navascués Fernández-Victorio Isabel Ramos Román Un modelo para la simulación híbrida de la producción de software a medida en un entorno multiproyecto
8/10/2007 Isabel A. Nepomuceno Chamorro José C. Riquelme Santos
Jesús S. Aguilar Ruiz
Inferencia de redes genéticas a partir de Microarrays
8/10/2007 Juan A. Nepomuceno Chamorro Jesús S. Aguilar Ruiz
Alicia Troncoso Lora
Extracción y Validación de Conocimiento en Datos de Expresión Genómica
8/10/2007 Sergio Pozo Hidalgo Rafael Martínez Gasca Técnicas Automáticas para la Diagnosis de Consistencia y Conformidad en Listas de Control de Acceso
16/5/2007 Francisco Martínez Álvarez José C. Riquelme Santos. Diseño de un algoritmo de predicción y optimización basado en series temporales aplicado a sistemas de potencia
10/5/2007 Antonia Mª Reina Quintero Jesús Torres Valderrama
Miguel Toro Bonilla
Separación avanzada de conceptos en entornos web.
10/5/2007 Manuel Resinas Arias de Reyna Rafael Corchuelo Gil A framework for automated negotiation of agreements
10/5/2007 Fernando de la Rosa Troyano Rafael Martínez Gasca. Sistemas de Inteligencia Web: Análisis de Redes Sociales
10/5/2007 Adolfo A. Aumaitre del Rey Vicente Carrillo Montero Un Sistema para Difusión de Contenidos Georreferenciados
10/1/2007 Antonio J. Suárez Fábrega Rafael Martínez Gasca. Técnicas de Data Mining para la Diagnosis en Sistemas Dinámicos con Incertidumbre Mediante la Caracterización de Series Temporales.
10/5/2006 Beatriz Pontes Balanza Raúl Giráldez Rojo
Jesús S. Aguilar Ruíz
Búsqueda de Patrones en Datos de Expresión Genómica
10/5/2006 Francisco J. Fernández Bejarano José Cristóbal Riquelme Santos Métodos para obtener clasificadores utilizando programación genética
10/5/2006 Francisco Roche Beltrán José Cristóbal Riquelme Santos
José Luis Álvarez Macías
Estudio de la relación de dependencia entre variables, y en su caso la relación causa - efecto entre ellas
10/5/2006 Javier J. Gutiérrez Rodríguez Manuel Mejías Risoto
María J. Escalona Cuaresma
Generación de pruebas del sistema a partir de la especificación funcional
10/5/2006 José Luis Arjona Fernández Rafael Corchuelo Gil Bringing the knowledge on the Web to Software Agents
10/5/2006 Pedro José Abad Herrera Rafael Martínez Gasca
Juan Antonio Ortega Ramírez
Aplicación de Herramientas de Aprendizaje Supervisado a la Diagnosis de Sistemas Dinámicos
17/2/2006 Rafael Ceballos Guerrero Rafael M. Gasca
Carmelo del Valle Sevillano
Técnicas Automáticas para la Diagnosis de Errores en Software Diseñado por Contrato
8/2/2006 David Benavides Cuevas Antonio Ruiz Cortés Técnicas avanzadas para el razonamiento automático sobre modelos de características
8/2/2006 Carlos A. García Vallejo José Antonio Troyano Jiménez PageRank y aplicaciones a la búsqueda de centroides
1/2/2006 Francisco J. Ferrer Troyano José Cristóbal Riquelme Santos
Jesús Salvador Aguilar Ruiz
Aprendizaje Incremental de Reglas de decisión en Secuencias de Datos Continuos de Alta Velocidad
2/1/2006 Pablo Fernández Montes Rafael Corchuelo Gil Towards automated service procurement. A Framework for Automated Service Trading
10/8/2005 Roberto Ruiz Sánchez José C. Riquelme Santos
Jesús S. Aguilar Ruiz
Selección de Atributos mediante proyecciones
16/5/2005 Octavio Marín Díaz Miguel Toro Bonilla Tratamiento de las Propiedades de Calidad en el Prototipado Arquitectónico de Sistemas Distribuidos basados en la Web
15/2/2005 Luisa Romero José Antonio Troyano Jiménez Aportaciones al Aprendizaje Colaborativo desde el campo de la Web Semántica.
10/5/2003 Beatriz Bernárdez Jiménez Amador Durán Toro Una Aproximación Empírica a la Verificación de Especificaciones de Requisitos para Sistemas de Información
23/9/2002 Nuria Hurtado Rodríguez Jesús Torres Valderrama
José Mariano Gónzalez Romano
Contribuciones a la especificación formal automática de interfaces de usuario para sistemas de información global
14/5/2001 Juan José Domínguez Jiménez José C. Riquelme Santos Métodos de Optimización Global y Optimización Combinatoria Basados en Búsqueda Genética
10/1/2001 José Miguel Cañete Valdeón D. Miguel Toro Bonilla Generación automática de sistemas informáticos a partir de especificaciones semiformales

Memorias de Investigación

Por favor, tenga en cuenta que las siguientes memorias corresponden a alumnos que han cursado ediciones de nuestro programa de doctorado previas al RD56/2007, por lo que no tienen la estructura que se solicita actualmente. Tan sólo se proporcionan con el próposito de publicitar y diseminar sus resultados de investigación.

Fecha Alumno/a Título
1/10/2010 Felipe José Gallego Rivera Lenguajes de Especificación de Servicios Web Semánticos
18/9/2009 Rosa María Torres de Paz El Proceso de Ingeniería de Requisitos en el Ciclo Global del Software
17/7/2009 António Gualdino Figueira de Jesus Wrappers for Data Extraction
17/7/2009 Diana Borrego Núñez Automation of distributed model-based diagnosis using structural analysis
17/7/2009 Irene Barba Rodríguez Algoritmos de planificación basados en restricciones para la sustitución de componentes defectuosos
17/7/2009 Jesús González Martí Uso de Información Semántica para la Mejora de la Recuperación de Información en la Web
17/7/2009 Miguel Ángel Montero Navarro Extracción de Conocimiento en Bases de Datos Astronómicas
17/7/2009 Arturo Henry Torres Zenteno Método de Pruebas de Sistema Basado en Modelos Navegacionales en un Contexto MDWE
17/7/2009 Ildefonso Montero Pérez A Methodology Fragment for Developing Families of Business Information Systems
1/9/2008 Carlos Rafael Rivero Osuna Automatización de la Navegación y el Rellenado de Formularios de Búsqueda de la Hidden Web
1/9/2008 Pablo de la Torre Moreno Almacenes de Datos para la Web Semántica
1/9/2008 Rafael Zancan Frantz Un Lenguaje Específico de Dominio para la Integración de Aplicaciones Web
1/9/2008 Fabricia Carneiro Roos Análisis Automático de Líneas de Productos Software Usando Diferentes Modelos de Variabilidad
9/6/2008 Francisco J. Ortega Rodríguez STR. Un Generador de Etiquetadores Supervisados Basado en TextRank
9/6/2008 José J. Bocanegra García On Modelling and Implementing Business Transactions Using Model-Driven Development and Service-Oriented Computing
9/6/2008 Jorge García Gutiérrez Remote Mining: Aplicando Minería de datos a Teledetección sobre LIDAR
9/6/2008 José M. García Rodríguez Semantic Web Services Provisioning
9/6/2008 Daniel Mateos García Sistemas Regulatorios de la Expresión Génica
9/6/2008 Carlos Müller Cejás Towards a Temporal-Awareness Service Trading
9/6/2008 Javier Navascués Fernández Victorio Técnicas avanzadas para la gestión de Proyectos Software
9/6/2008 Sergio Segura Rueda Extended Support for the Automated Treatment of Feature Models
10/9/2007 Pablo Trinidad Martín-Arroyo Tratamiento de Errores en Modelos de Características
10/9/2007 Jesús Bermejo Muñoz Ingeniería de Líneas de Productos: Beneficio, Adopción, Experiencia y Futuro
10/9/2007 Pedro Espina Martínez Extensibilidad de UDDI
10/9/2007 Antonio L. Delgado González Generación de Interfaces Web basada en Modelos
22/6/2007 Fernando Enrí­quez de Salamanca Ros Técnicas de Bootstrapping en el Procesamiento del Lenguaje Natural
22/6/2007 Juan Antonio Álvarez Garcí­a Predicción de Futuros Destinos para Aplicaciones con Conocimiento del Contexto
22/6/2007 Juan Diego Pérez Notaciones y Lenguajes de Procesos. Una Visión Global
22/6/2007 José Manuel Márquez Vázquez Estado del Arte del eLearning. Ideas para la Definición de una Plataforma Universal
22/6/2007 Sergio Pozo Hidalgo Técnicas Automáticas para la Diagnosis de Consistencia y Conformidad en Polí­ticas de Control de Acceso
22/6/2007 Beatriz Pontes Balanza Técnicas de Evaluación en Algoritmos de Biclustering sobre Datos de Expresión Genómica
22/6/2007 Pablo Neira Ayuso Tolerancia a Fallos para la Alta Disponibilidad de Software de Red de Alto Rendimiento con Estados
22/6/2007 Francisco Martí­nez Álvarez Análisis de las Series Temporales de los Precios del Mercado Eléctrico Mediante Técnicas de Clustering
22/6/2007 Fermí­n Cruz Mata Etiquetado Estadí­sitco de Roles Semánticos
10/7/2006 Norberto Díaz Díaz Extracción y Validación de Conocimiento en Bases de Datos Biomédicas
10/7/2006 Pablo Fernández Montes An Abstract Architecture for Service Trading. On the Design of the Framework
10/7/2006 Domingo Savio Rodríguez Baena Análisis de datos de Expresión Genética mediante Técnicas de Biclustering
10/7/2006 Manuel Resinas Arias de Reyna An Abstract Architecture for Service Trading. On the Automatic Creation of Agreements
10/7/2006 Isabel Nepomuceno Chamorro Modelización de Redes Reguladoras de Genes
12/5/2006 Roberto Ruiz Sánchez No disponible
10/5/2006 Pedro José Abad Herrera Aplicación de Herramientas de Aprendizaje Supervisado a la Diagnosis de Sistemas Dinámicos
10/5/2006 Fernando de la Rosa Troyano Sistemas de Inteligencia Tecnológica y Científica: Resumen, Análisis y Visualización de Información para la Extracción de Conocimiento a través de la Web
10/10/2005 Javier Jesús Gutiérrez Rodríguez Generación de pruebas de sistema a partir de la especificación funcional
17/6/2005 Francisco Ferrer Troyano Aprendizaje Incremental de Reglas de decisión en Secuencias de Datos Continuos de Alta Velocidad
12/6/2005 María Teresa Gómez López Labelled Object-Oriented Relational Constraint Databases La Diagnosis basada en modelos: Un caso de estudio
10/5/2005 David Benavides Cuevas Técnicas avanzadas para el razonamiento automático sobre modelos de características
24/12/2004 Francisco Javier Fernández Bejarano Métodos para obtener clasificadores utilizando programación genética
14/1/2004 Joaquín Peña Siles Mejorando las capacidades para modelar sistemas multiagente complejos
14/1/2004 Raúl Giráldez Rojo Mejoras en Eficiencia y Eficacia de Algoritmos Evolutivos para Aprendizaje Supervisado
9/6/2003 Santiago Patricio Serendero Sáez Methods for Knowledge Discovery in Data
18/5/2003 Antonio José Suárez Fábrega No disponible
13/5/2003 José Luis Arjona Fernández WebMeaning: Bringing the knowledge on the Web to Software Agents
10/5/2003 Beatriz Bernárdez Jiménez Una Aproximación Empírica a la Verificación de Especificaciones de Requisitos para Sistemas de Información
18/2/2003 Franciso Roche Beltrán Métodos para obtener conocimiento utilizando Redes Bayesianas y Procesos de Aprendizaje con Algoritmos Evolutivos
18/2/2003 Victoria Pachón Álvarez Descubriendo reglas de asociación numéricas en grandes volúmenes de datos
18/2/2003 Carlos García Varet No disponible
15/1/2003 Antonio J. Suárez Fábrega Planificación y gestión de proyectos de desarrollo de software con técnicas de programación con restricciones orientadas a objetos.
30/9/2002 José Manuel Bravo Caro Aplicación del Análisis Intervalar al problema de Control de Sistemas
3/9/2002 Pedro José Abad Herrera APLICACIÓN DE HERRAMIENTAS DE APRENDIZAJE SUPERVISADO A LA DIAGNOSIS DE SISTEMAS DINÁMICOS
24/6/2002 David Ruiz Cortés Selección Justa en el Contexto del Modelo de Interacción entre Múltiples Participantes. De un Enfoque Teórico a un Enfoque Práctico
6/6/2002 Rafael Ceballos Guerrero Técnicas automáticas para la diagnosis de errores en software diseñado por contrato

[ Volver a la página del Programa Oficial de Postgrado ]


inicio | mapa del sitio | rss | aviso legal | contacto