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

• Trabajos fin de Máster
• Tesis Doctorales
• Proyectos de Tesis Doctorales
• Memorias de Investigación

---

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
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/2/2005	Juan Manuel Cordero Valle	Jesús Torres Valderrama Miguel Toro Bonilla	Simulación Realista del Comportamiento Mecánico de Telas utilizando el Método de los Elementos Finitos
10/12/2004	Beatriz Bernárdez Jiménez	Amador Durán Toro	Una aproximación empírica al desarrollo de heurísticas
10/12/2004	José Luis Arjona Fernández	Rafael Corchuelo Gil	Bringing the knowledge on the Web to Software Agents
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	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/6/2000	Francisco José Galán Morillo	Miguel Toro Bonilla	Formalizaciones para Sintetizar Software Orientado a Objetos
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 ]