Publications

Export 228 results:
Author Title Type [ Year(Asc)]
2010
A. García-Domínguez, Medina-Bulo, I., and Bárcena, M. Marcos, Inference and propagation of performance constraints from abstract to concrete business workflows, in Proceedings of the Sixth Virtual International Conference of the {EU} {FP6} {I*PROMS} Network of Excellence, Virtual conference, 2010.
A. García-Domínguez, Medina-Bulo, I., and Marcos-Bárcena, M., Inference of performance constraints in Web Service composition models, {CEUR} Workshop Proceedings of the 2nd International Workshop on Model-Driven Service Engineering, vol. 608, pp. 55–66, 2010.
J. - J. Domínguez-Jiménez, Estero-Botaro, A., García-Domínguez, A., and Medina-Bulo, I., Mutación Evolutiva, in Actas de las {XV} Jornadas de Ingeniería del Software y Bases de Datos, Valencia, Spain, 2010.
M. del C. Castro-Cabrera and Medina-Bulo, I., Propuesta De Aplicación De Pruebas Metamórficas En Composiciones De Servicios Web Con WS-Bpel, in Actas de las {II} Jornadas Predoctorales de la Escuela Superior de Ingenierí­a, Cádiz, Spain, 2010.
I. Medina-Bulo, Gutiérrez-Madroñal, L., and Domínguez-Jiménez, J. J., Propuesta de optimización en la prueba de mutaciones en Java, V Taller sobre pruebas en Ingeniería del Software (PRIS 2010), Valencia, Comunidad Valenciana, España. 2010.
A. Estero-Botaro, Palomo-Lozano, F., and Medina-Bulo, I., Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions, Proceedings of the 5th International Workshop on Mutation Analysis (Mutation 2010), París, France. 2010.
A. García-de-Prado, Respuesta a múltiples dispositivos desde un servicio Web, in {II} Jornadas Predoctorales de la {ESI}, Cádiz, Spain, 2010.
A. García-Domínguez, Medina-Bulo, I., and Marcos-Bárcena, M., SODM+T: Inferencia de restricciones de rendimiento, in Actas de las {XV} Jornadas de Ingeniería del Software y Bases de Datos, Valencia, Spain, 2010, vol. 1, pp. 103–106.
M. Palomo-Duarte, García-Domínguez, A., Medina-Bulo, I., Álvarez-Ayllón, A., and Cepero, J. Santacruz, Takuan: a Tool for WS-BPEL Composition Testing using Dynamic Invariant Generation, in Proceedings of the 10th International Conference on Web Engineering, Vienna, Austria, 2010, vol. 6189, pp. 531–534.
J. Boubeta-Puig, Ortiz, G., and Medina-Bulo, I., Un Estudio sobre el Procesamiento de Eventos Complejos y su Integración en Arquitecturas Orientadas a Servicios, in Actas de las {II} Jornadas Predoctorales de la Escuela Superior de Ingeniería, Cádiz, Spain, 2010, pp. 57–60. 2010-Ponencia-Boubeta-II-JORPRESI.pdf (639.48 KB)
G. Ortiz and García-de-Prado, A., Una Adaptación Unificada para Servicios Web, in {VI} Jornadas Científico-Técnicas en Servicios Web y {SOA}, Valencia, 2010.
I. Medina-Bulo, Palomo-Lozano, F., and Ruiz-Reina, J. - L., A verified common LISP implementation of Buchberger's algorithm in ACL2, Journal of Symbolic Computation, London, United Kingdom, no. 45, pp. 96-123, 2010.
G. Ortiz and García-de-Prado, A., Web Service Adaptation: A Unified Approach Versus Multiple Methodologies for Different Scenarios, in Proceedings of the 2010 Fifth International Conference on Internet and Web Applications and Services, Washington, DC, USA, 2010.
2009
G. Ortiz and García-de-Prado, A., Adapting Web Services for Multiple Devices: A Model-Driven, Aspect-Oriented Approach, in Proceedings of the 2009 Congress on Services - I, Washington, {DC}, {USA}, 2009.
M. del C. Castro-Cabrera and Medina-Bulo, I., Algunos Aspectos De La Prueba De Software Basada En Mutaciones Para Composiciones De Servicios Web, in Actas de las {I} Jornadas Predoctorales de la Escuela Superior de Ingenierí­a, Cádiz, Spain, 2009.
G. Ortiz and García-de-Prado, A., Aspect-Oriented Techniques for Web Services and Their Mobile Clients, in Proceedings of the 2009 Conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2009, Amsterdam, The Netherlands, The Netherlands, 2009.
A. Estero-Botaro, Domínguez-Jiménez, J. J., and Medina-Bulo, I., Automatic mutant generation for WS-BPEL compositions based in genetic algorithms, Proceedings of the IASK International Conference E-Activity and Leading Technologies, Sevilla, Spain. 2009.
J. A. Jiménez-Millán, Compiladores y procesadores de lenguajes (2ª edición). Cádiz: Servicio de publicaciones de la Universidad de Cádiz, 2009.
M. Palomo-Duarte, García-Domínguez, A., and Medina-Bulo, I., Enhancing WS-BPEL Dynamic Invariant Generation using XML Schema and XPath Information, in Proceedings of the 9th International Conference on Web Engineering, San Sebastián, Spain, 2009, vol. 5648/2009, pp. 469–472.
I. Medina-Bulo, Estero-Botaro, A., and Domínguez-Jiménez, J. J., A framework for mutant genetic generation for WS-BPEL, Lecture Notes in Computer Science, vol. 5404, p. 240, 2009.
G. Aburruzaga-García, Medina-Bulo, I., and Palomo-Lozano, F., Fundamentos de C++. Segunda edición. Cádiz: Servicio de publicaciones de la Universidad de Cádiz, 2009.
J. - J. Domínguez-Jiménez, Estero-Botaro, A., García-Domínguez, A., and Medina-Bulo, I., GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions, in Proceedings of the 7th {IEEE} European Conference on Web Services, Eindhoven, The Netherlands, 2009.
A. Estero-Botaro, Medina-Bulo, I., Domínguez-Jiménez, J. J., and Gutiérrez-Madroñal, L., GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS-BPEL, Actas de las XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), San Sebastián, Spain. 2009.
A. García-Domínguez, Palomo-Lozano, F., and Medina-Bulo, I., Hypertext navigation of ACL2 proofs with XMLEye, in Proceedings of the Eighth International Workshop on the {ACL2} Theorem Prover and its Applications, Boston, Massachusetts, {USA}, 2009, pp. 47–56.
G. Ortiz, Improving cross-curricular skills in Web services: Virtual vs. Attendance environments, International Journal on advances in life sciences, vol. 1, no. 4, p. 121, 2009.

Pages