Publications

Export 228 results:
Author [ Title(Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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.
J. Cubo, Ortiz, G., Boubeta-Puig, J., Foster, H., and Lamersdorf, W., Adaptive Services for the Future Internet: J.UCS Special Issue, Journal of Universal Computer Science, vol. 20, no. 8, pp. 1046–1048, 2014.
J. J. Domínguez-Jiménez and Estero-Botaro, A., Administración del Sistema Operativo LInux. Cádiz: Servicio de publicaciones de la Universidad de Cádiz, 2001.
I. Medina-Bulo, Alonso-Jimenez, J. A., and Palomo-Lozano, F., Algoritmos polinómicos en ACL2 (una aproximación al algoritmo de Buchberger), I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial (Conferencia Iberoamericana de Inteligencia artificial). Sevilla, Spain, 2002.
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.
L. Gutiérrez-Madroñal, Domínguez-Jiménez, J. J., and Medina-Bulo, I., Análisis del lenguaje EPL para la prueba de mutaciones, III Jornadas Predoctorales de la Escuela Superior de Ingeniería, Cádiz, Andalucía, España. 2011.
M. del C. Castro-Cabrera and Medina-Bulo, I., Análisis y especificación de propiedades en prueba metamórfica para WS-BPEL, in Actas de las IX Jornadas de Ciencia e Ingenierí­a de Servicios, Madrid, Spain, 2013.
C. Jiménez-Gavilán, Domínguez-Jiménez, J. - J., and García-Domínguez, A., Analizador de Servicios Web basados en WSDL 1.1 para pruebas paramétricas, University of Cádiz, Cádiz, Spain, 2011.
J. Boubeta-Puig, García-Domínguez, A., and Medina-Bulo, I., Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages, in Proceedings of the 2011 {IEEE} Fourth International Conference on Software Testing, Verification and Validation Workshops ({ICSTW)}, Berlin, Germany, 2011, pp. 398–407.
P. Delgado-Pérez, Medina-Bulo, I., and Domínguez-Jiménez, J. J., Analysis of the Development Process of a Mutation Testing Tool for the C++ Language, in The Ninth International Multi-Conference on Computing in the Global Information Technology, ICCGI 2014, Seville, Spain, 2014.
P. Delgado-Pérez, Medina-Bulo, I., and Domínguez-Jiménez, J. J., Aplicación de la Técnica de Prueba de Mutación Evolutiva a C++, in Actas de las {IV} Jornadas Predoctorales de la Escuela Superior de Ingenier{ía, Cádiz, Spain, 2012.
M. del C. Castro-Cabrera, Camacho-Magriñàn, A., and Medina-Bulo, I., Aplicación de la técnica de pruebas metamórficas a una composición de servicios: Metasearch, in Actas de las {VIII} Jornadas de Ciencia e Ingenierí­a de Servicios, Almeí­a, Spain, 2012.
M. del C. Castro-Cabrera and Medina-Bulo, I., Aplicación de Pruebas Metamórficas a la composición del Préstamo, in Actas de las {III} Jornadas Predoctorales de la Escuela Superior de Ingenierí­a, Cádiz, Spain, 2011.
C. Castro-Cabrera and Medina-Bulo, I., Application of Metamorphic Testing to a Case Study in Web Services Compositions, in E-Business and Telecommunications, vol. 314, M. S. Obaidat, Sevillano, J. L., and Filipe, J. Springer Berlin Heidelberg, 2012, pp. 168-181.
A. García-Domínguez, Medina-Bulo, I., and Marcos-Bárcena, M., An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE, in Software and Data Technologies, M. José Escalona, Cordeiro, J., and Shishkov, B. Springer Berlin Heidelberg, 2013, pp. 136–150.
A. García-Domínguez, Medina-Bulo, I., and Marcos-Bárcena, M., An Approach for Performance Test Artefact Generation for Multiple Technologies from MARTE-Annotated Workflows, in 7th International Conference on Internet and Web Applications and Services, Stuttgart, Germany, 2012, pp. 221–226.
J. Boubeta-Puig, Ortiz, G., and Medina-Bulo, I., An Approach of Early Disease Detection using CEP and SOA, in Proceedings of The Third International Conferences on Advanced Service Computing, Rome, Italy, 2011, pp. 143–148.
C. Castro-Cabrera and Medina-Bulo, I., An Approach to Metamorphic Testing for WS-BPEL Compositions, in Proceedings of the International Conference on e-Business (ICE-B 2011), 2011.
J. Boubeta-Puig, Ortiz, G., and Medina-Bulo, I., Approaching the Internet of Things through Integrating SOA and Complex Event Processing, in Handbook of Research on Demand-Driven Web Services: Theory, Technologies, and Applications, Z. Sun and Yearwood, J. {IGI} Global, 2014, pp. 304–323.
B. - M. Nuñez-Moraleda, Silva-Ramírez, E. - L., Laguna-Bonillo, M., de-Castro-Cabrera, M. -del- C., and Hurtado-Rodriguez, N., Apuntes de metodología y tecnología de la programación. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 2001.
M. Palomo-Duarte, García-Domínguez, A., and Medina-Bulo, I., An Architecture for Dynamic Invariant Generation in WS-BPEL Web Service Compositions, in Proceedings of {ICE-B} 2008 - International Conference on e-Business, Porto, Portugal, 2008, pp. 37–44.
G. Ortiz and Hernández, J., Aspect-oriented techniques for Web services: a model-driven approach, International Journal of business process integration and management (on line), p. 152, 2007.
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.
P. Delgado-Pérez, Segura, S., and Medina-Bulo, I., Assessment of C++ object-oriented mutation operators: A selective mutation approach, Software Testing, Verification and Reliability, p. e1630–n/a, 2017. Please, find the published paper in http://dx.doi.org/10.1002/stvr.1630 (663.5 KB)

Pages