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 
O
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.
G. Ortiz, Hernández, J., and Clemente, P., Reusable Web service composition patterns and their extra-funcional properties, International Journal of computer systems science and engineering, vol. 21, no. 4, p. 313, 2006.
G. Ortiz and García-de-Prado, A., Towards Adapting Web Services for Multiple Devices, in Fourth International Conference on Internet and Web Applications and Services, 2009. {ICIW} '09, 2009.
G. Ortiz, Peinado, S., de Prado, A. García, and Boubeta-Puig, J., MoDAS: Methodology and Tool for Model Driven Adaptable Services, in Service-{Oriented} {Computing} - {ICSOC} 2014 {Workshops}, 1st ed., vol. 8954, F. Toumani, Pernici, B., Grigori, D., Benslimane, D., Mendling, J., Ben Hadj-Alouane, N., Blake, B., Perrin, O., Saleh, I., and Bhiri, S. Switzerland: Springer International Publishing, 2015, pp. 32–43.
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.
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.
P
M. Palomo-Duarte, Álvarez-Ayllón, A., García-Domínguez, A., and Medina-Bulo, I., La cobertura de los casos de prueba en la generación dinámica de invariantes en composiciones WS-BPEL, in Actas de los Talleres de {JISBD}, San Sebastián, Spain, 2009, vol. 3(4), pp. 1–7.
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.
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., and Medina-Bulo, I., Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions, in Proceedings of the 6th {IEEE} European Conference on Web Services, Dublin, Ireland, 2008, pp. 63–72.
M. Palomo-Duarte, Dodero, J. Manuel, Tocino, J. Tomás, García-Domínguez, A., and Balderas, A., Competitive Evaluation in a Video Game Development Course, in Proceedings of the 17th Annual Conference on Innovation and Technology in Computer Science Education, Haifa, Israel, 2012.
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.
M. Palomo-Duarte, García-Domínguez, A., and Medina-Bulo, I., Improving Takuan to analyze a meta-search engine WS-BPEL composition, in Proceedings of the 4th {IEEE} International Symposium on Service-Oriented System Engineering, Jhongli, Taiwan, 2008, pp. 109–114.
M. Palomo-Duarte, Dodero, J. Manuel, García-Domínguez, A., Ayuso, P. Neira, Montes, N. Sales, Medina-Bulo, I., Palomo-Lozano, F., Castro-Cabrera, C., and Posada, E. J. Rodríg, Computer-supported assessment of wikis in higher education: two case studies, in Proceedings of the 14th International Symposium on Computers in Education, Andorra, 2012.
M. Palomo-Duarte, Gutiérrez-Madroñal, L., Silva-Ramírez, E. L., Dodero, J. M., and Macías, J. M. Mota, Video game development as a reinforcement while learning programming skills, in International Congress on Education, Innovation and Learning Technologies iceilt 2014, 2014.
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.
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.
M. Palomo-Duarte, García-Domínguez, A., Álvarez-Ayllón, A., and Medina-Bulo, I., Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL, in Actas de las {XIV} Jornadas de Ingeniería del Software y Bases de Datos, San Sebastián, Spain, 2009, pp. 367–370.
M. Palomo-Duarte and Medina-Bulo, I., Metodología para la prueba de caja blanca en WS-BPEL basada en mutaciones y generación dinámica de invariantes, Actas de las I Jornadas Predoctorales de la Escuela Superior de Ingeniería. Cádiz, Spain, 2009.
F. Palomo-Lozano, Alonso-Jiménez, J. A., and Medina-Bulo, I., Reasoning about matrix arithmetic in ACL2, Workshop AOC. Lyon (France), 2000.
M. Ángel Pérez-Montero, Domínguez-Jiménez, J. - J., and García-Domínguez, A., Generador de casos de prueba aleatorio basado en especificaciones abstractas, Universidad de Cádiz, Cádiz, Spain, 2012.
J. Pizarro-Junquera, Jiménez-Millán, J. A., and de-Castro-Cabrera, M. -del- C., Introducción a la programación lógica. Cádiz: Universidad de Cádiz, 1997.
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.
Q
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.

Pages