Publications

Export 228 results:
Author Title Type [ Year(Asc)]
2011
A. García-Domínguez, Homepage of the SODM+T project. 2011.
G. Ortiz and García-de-Prado, A., Improving Device-Aware Web Services and their Mobile Clients, in {VII} Jornadas de Ciencia e Ingeniería de Servicios, La Coruña , 2011.
A. García-Domínguez and Medina-Bulo, I., Inferencia Automática de Requisitos Locales de Rendimiento en Flujos de Trabajo Anotados con MARTE, in Actas de las {XVI} Jornadas de Ingeniería del Software y Bases de Datos, A Coruña, Spain, 2011, pp. 585–598.
J. Daniel Morcillo-Regueiro, Estero-Botaro, A., and García-Domínguez, A., Interfaz gráfica para MuBPEL, Universidad de Cádiz, Cádiz, Spain, 2011.
A. García-Domínguez, Medina-Bulo, I., and Bárcena, M. Marcos, Model-Driven Design of Performance Requirements, in Proceedings of the 11th International Conference on Quality Software, Madrid, Spain, 2011, pp. 76–85.
A. García-Domínguez, Medina-Bulo, I., and Marcos-Bárcena, M., Model-driven Design of Performance Requirements with UML and MARTE, in Proceedings of the 6th International Conference on Software and Data Technologies, Seville, Spain, 2011, vol. 2, pp. 54–63.
J. Boubeta Puig, Ortiz, G., and Medina-Bulo, I., Procesamiento de Eventos Complejos en Entornos SOA: Caso de Estudio para la Detección Temprana de Epidemias, in Actas de las {VII} Jornadas de Ciencia e Ingeniería de Servicios, A Coruña, Spain, 2011.
J. Boubeta-Puig, Ortiz, G., and Medina-Bulo, I., Procesamiento de Eventos Complejos en Entornos SOA: Caso de Estudio para la Detección Temprana de Epidemias, in Actas de las VII Jornadas de Ciencia e Ingeniería de Servicios, A Coruña, Spain, 2011, pp. 63–76. 2011-Boubeta-JCIS2011.pdf (1.38 MB)
E. Blanco-Muñoz, García-Domínguez, A., Domínguez-Jiménez, J. - J., and Medina-Bulo, I., Propuesta de una arquitectura para la generación de mutantes de orden superior en WS-BPEL, in Actas de las {XVI} Jornadas de Ingeniería del Software y Bases de Datos, A Coruña, Spain, 2011.
L. M. Rose, García-Domínguez, A., Williams, J. R., Kolovos, D. S., Paige, R. F., and Polack, F. A. C., Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case, Electronic Proceedings in Theoretical Computer Science, vol. 74, pp. 332–339, 2011.
E. Blanco-Muñoz, García-Domínguez, A., Domínguez-Jiménez, J. - J., and Medina-Bulo, I., Towards Higher-Order Mutant Generation for WS-BPEL, in Proceedings of the 2011 International Conference on e-Business, Seville, Spain, 2011.
A. García-Domínguez, Medina-Bulo, I., and Bárcena, M. Marcos, Un Enfoque para la Generación de Pruebas para Múltiples Tecnologías desde Flujos de Trabajo Anotados con MARTE, in Actas de las {III} Jornadas Predoctorales de la {ESI}, Cádiz, Spain, 2011, pp. 39–42.
M. del C. Castro-Cabrera, Camacho-Magriñàn, A., Medina-Bulo, I., and Palomo-Duarte, M., Una arquitectura basada en pruebas metamòrficas para composiciones de servicios WS-BPEL, in Actas de las {VII} Jornadas de Ciencia e Ingenierí­a de Servicios, A Coruña, España, 2011.
J. Boubeta-Puig, Ortiz, G., and Medina-Bulo, I., Una propuesta de integración de ESB con un motor CEP, in Actas de las {III} Jornadas Predoctorales de la Escuela Superior de Ingeniería, Cádiz, Spain, 2011, pp. 51–54. 2011-Ponencia-Boubeta-III-JORPRESI.pdf (314.09 KB)
2010
I. Medina-Bulo, Palomo-Lozano, F., and Ruiz-Reina, J. L., Automated Verification of Buchberger's Algorithm, Journal of Symbolic Computation, vol. 45, pp. 96-123, 2010.
A. García-Domínguez, Medina-Bulo, I., and Bárcena, M. Marcos, Avances Hacia un Algoritmo Optimizado para la Inferencia de Restricciones Locales de Rendimiento en Grafos, in Actas de las {II} Jornadas Predoctorales de la Escuela Superior de Ingeniería, Cádiz, Spain, 2010, p. TIC.5–TIC.8.
P. Recio Quijano, Montes, N. Sales, García-Domínguez, A., and Palomo-Duarte, M., Collaboration and competitiveness in project-based learning, in Proceedings of the 3rd Workshop on Methods and Cases in Computing Education, Cádiz, Spain, 2010, pp. 8–14.
J. Boubeta-Puig, Medina-Bulo, I., and García-Domínguez, A., Equivalencias entre los operadores de mutación definidos para WS-BPEL 2.0 y los definidos para otros lenguajes, in Actas del V Taller sobre Pruebas en Ingeniería del Software, Valencia, Spain, 2010, vol. 4, pp. 1–8. 2010-Boubeta-PRIS2010.pdf (193.42 KB)
L. Gutiérrez-Madroñal, Domínguez-Jiménez, J. J., and Medina-Bulo, I., Estudio preliminar de la calidad de los mutantes, III Jornadas Predoctorales de la Escuela Superior de Ingeniería, Cádiz, Andalucía, España. 2010.
M. Palomo-Duarte, García-Domínguez, A., Palomo-Lozano, F., and Medina-Bulo, I., Fomento de la participación del alumnado con herramientas libres de trabajo colaborativo web 2.0, Formación Universitaria, vol. 3, no. 4, p. 15, 2010.
M. Palomo-Duarte, García-Domínguez, A., Palomo-Lozano, F., and Medina-Bulo, I., Fomento de la Participación del Alumnado con Herramientas Libres de Trabajo Colaborativo Web 2.0, Formación universitaria, vol. 3, pp. 25–40, 2010.
J. - J. Domínguez-Jiménez, Estero-Botaro, A., García-Domínguez, A., and Medina-Bulo, I., GAmera: a Tool for WS-BPEL Composition Testing using Mutation Analysis, in Proceedings of the 10th International Conference on Web Engineering, Vienna, Austria, 2010.
A. García-Domínguez, Medina-Bulo, I., and Marcos-Bárcena, M., Hacia la integración de técnicas de pruebas en metodologías dirigidas por modelos para SOA, Novatica, vol. 204, p. 68, 2010.
A. García-Domínguez, Medina-Bulo, I., and Bárcena, M. Marcos, Hacia la Integración de Técnicas de Pruebas en Metodologías Dirigidas por Modelos para SOA, Novática, pp. 62–68, 2010.
G. Ortiz and García-de-Prado, A., Improving device-aware Web services and their mobile clients through an aspect-oriented, model-driven approach, Information and Software Technology, vol. 52, p. 1093, 2010.

Pages