Publications

Export 137 results:
Author Title Type [ Year(Asc)]
Filters: Author is Inmaculada Medina-Bulo  [Clear All Filters]
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.
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.
A. Álvarez-Ayllón, García-Domínguez, A., Palomo-Duarte, M., and Medina-Bulo, I., Los casos de prueba en la generación dinámica de invariantes en composiciones de servicios web con WS-BPEL, in Actas de las V Jornadas Científico-Técnicas en Servicios Web y {SOA}, Madrid, Spain, 2009, pp. 139–152.
A. Álvarez-Ayllón, García-Domínguez, A., Palomo-Duarte, M., and Medina-Bulo, I., Los casos de prueba en la generación dinámica de invariantes en composiciones de servicios web con WS-BPEL, in Actas de las V Jornadas Científico-Técnicas en Servicios Web y {SOA}, Madrid, Spain, 2009, pp. 139–152.
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.
A. Estero-Botaro and Medina-Bulo, I., Procedimiento de obtención de casos de prueba de calidad para composiciones WS-BPEL, Actas de las I Jornadas Predoctorales de la Escuela Superior de Ingeniería, Cádiz, Spain. 2009.
I. Medina-Bulo, García-Domínguez, A., Aguayo-González, F., Sevilla-Hurtado, L., and Marcos-Bárcena, M., Proposal of methodology for implementing a service-oriented architecture in distributed manufacturing systems, AIP conference proceedings, vol. 1181, p. 632, 2009.
I. Medina-Bulo, García-Domínguez, A., González, F. Aguayo, Hurtado, L. Sevilla, and Bárcena, M. Marcos, Propuesta metodológica para la implementación de una arquitectura orientada a servicios en entornos de Sistemas de Fabricación Distribuida, in Actas del {III} Congreso Internacional de la Sociedad de Ingeniería de Fabricación, Alcoy, Spain, 2009, pp. 346–353.
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.
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.
A. Estero-Botaro, Domínguez-Jiménez, J. J., and Medina-Bulo, I., Una arquitectura para la generación de casos de prueba de composiciones WS-BPEL basada en mutaciones, Actas de Talleres de Ingeniería del Software y Bases de Datos 2009 (PRIS09). Taller celebrado en el marco de las XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), San Sebastián, Spain. 2009.
2008
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.
A. García-Domínguez, Palomo-Duarte, M., and Medina-Bulo, I., Implementación de un framework para la generación dinámica de invariantes en composiciones de servicios web con WS-BPEL, in Actas de las {IV} Jornadas Científico-Técnicas en Servicios Web y {SOA}, Sevilla, Spain, 2008, pp. 91–96.
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.
J. J. Domínguez-Jiménez, Estero-Botaro, A., and Medina-Bulo, I., Mutant Generation for Web Services Compositions with Genetic Algorithms, Proceedings of the IASK International Conference Teaching and Learning 2008, Madrid, Spain. 2008.
A. Estero-Botaro, Palomo-Lozano, F., and Medina-Bulo, I., Mutation operators for WS-BPEL 2.0, Proceedings of 21st edition of the International Conference on Software & Systems Engineering and their Applications (ICSSEA 2008), París, France. 2008.
A. Estero-Botaro, Palomo-Lozano, F., and Medina-Bulo, I., Operadores de mutación para WS-BPEL 2.0, Actas de Talleres de Ingeniería del Software y Bases de Datos" (PRIS08). Taller celebrado en el marco de las XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), Gijón, Spain. 2008.
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.
J. J. Domínguez-Jiménez, Estero-Botaro, A., and Medina-Bulo, I., Una arquitectura para la prueba de mutaciones de composiciones de servicios web basada en algoritmos genéticos, Actas de Talleres de Ingeniería del Software y Bases de Datos" (PRIS08). Taller celebrado en el marco de las XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), Gijón, Spain. 2008.
A. García-Domínguez, Palomo-Lozano, F., and Medina-Bulo, I., XMLEye: transformador y visor genérico de documentos estructurados, Universidad de Cádiz, Cádiz, Spain, 2008.

Pages