Publications

Export 228 results:
[ Author(Desc)] Title 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 
M
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. A., A certified algorithm for translating formulas into polynomials. An ACL2 approach, International Joint Conference on Automated Reasoning (CADE + FTP + TABLEAUX) , Siena (Italy). 2001.
I. Medina-Bulo, Palomo-Lozano, F., and Aburruzaga-García, G., Por fin, C ISO: un curso de C estándar. Cádiz: Universidad de Cádiz, 1998.
I. Medina-Bulo, Domínguez-Jiménez, J. J., and Estero-Botaro, A., Un sistema para la generación automática de mutantes de composiciones WS-BPEL, Actas de las V Jornadas Científico-Técnicas en Servicios WEB y SOA (JSWEB 2009), Madrid, Spain. 2009.
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jimenez, J. A., Implementation in Acl2 of Well-Founded Polynomial Orderings, The European Joint Conferences on Theory and Practice of Software (ETAPS). Grenoble (France), pp. 66-67, 2002.
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.
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. A., A certified polynomial-based decision procedure for propositional logic, Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOL 2001), Edinburgh (Scotland), vol. LNCS 2152. pp. 297-312, 2001.
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.
O
G. Ortiz, Hernández, J., and Clemente, P., Preparing and re-using Web services for choreography, International Journal of Web engineering and technology, p. 334, 2006.
G. Ortiz, Cruz, S. Peinado, and Sánchez, M. Jesús Rod, Un caso de Estudio para la Adaptación de Servicios Web al Dispositivo, Madrid, Spain, 2013, pp. 81–94.
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.
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 Boubeta-Puig, J., Special Issue on Service-Oriented Architecture in the Era of Big Data, International Journal of Systems and Service-Oriented Engineering, vol. 5, p. v–viii, 2015.
G. Ortiz and García-de-Prado, A., Mobile-Aware Web Services, in Third International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, 2009. {UBICOMM} '09, 2009.
G. Ortiz, Comai, S., Preciado, J. - C., Linaje, M., and Sánchez-Figueroa, F., A system for teaching Web engineering concepts in a supervised way using rich internet applications, International Journal on Learning Technology, p. 23, 2009.
G. Ortiz and Hernández, J., Model-driven extra-funcional property develpment for Web services: a case study from the service and client side perspectives, The European Journal for the informatic professional (upgrade), 2006.
G. Ortiz, Hernández, J., and Clemente, P., How to deal with non-functional properties in Web service development, Lecture Notes in Computer Science, vol. 3579, p. 103, 2005.
G. Ortiz, Boubeta-Puig, J., García-de-Prado, A., and Medina-Bulo, I., Towards Event-Driven Context-Aware Web Services, in Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solutions, G. Ortiz and Cubo, J. {IGI} Global, 2013, pp. 148–159.
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.
G. Ortiz and Núñez, J. Hernández, Desarrollo dirigido por modelos de propiedades extra-funcionales para servicios Web: un caso de estudio desde las perspectivas del servicio y del cliente, Novatica, vol. 183, p. 25, 2006.
G. Ortiz, Boubeta-Puig, J., and Brenes-Ureba, A., Context-Aware Leisure Service: A Case-Study based on a SOA 2.0 Infrastructure, in Proceedings of The Ninth International Conference on Internet and Web Applications and Services, Paris, France, 2014.
G. Ortiz and Hernández, J., A case-study on integrating extra-functional properties in Web service model-driven development: from model to code, International Journal on advances in internet technology, p. 11, 2008.
G. Ortiz and Hernández, J., Service-oriented model-driven development: filling the extra-functional property gap, Lecture Notes in Computer Science, vol. 4294, p. 476, 2006.
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.
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