UniversidaddeCádiz

Área de Biblioteca, Archivo y Publicaciones

Communities and Collections

Now showing items 1-20 of 37

Analizador de Servicios Web basados en WSDL 1.1 para pruebas paramétricas

Jiménez Gavilán, Cristina (2011-05-31)
Assessment in Software Development for Competitive Environments: An AI Strategy Development Case Study

Palomo Duarte, Manuel; García Domínguez, Antonio; Balderas Alberico, Antonio (MDPI, 2021-07)
Assessment of Class Mutation Operators for C++ with the MuCPP Mutation System

Delgado Pérez, Pedro; Medina Bulo, María Inmaculada; Palomo Lozano, Francisco; García Domínguez, Antonio; Domínguez Jiménez, Juan José (Elsevier, 2017-01)
Computing performance requirements for web service compositions

García Domínguez, Antonio; Palomo Lozano, Francisco; Medina Bulo, María Inmaculada; Ibias, Alfredo; Núñez, Manuel (ELSEVIER, 2023-01)
Data obtained in 10 leagues of Gades Siege with 2 cohorts of students

Palomo Duarte, Manuel; García Domínguez, Antonio; Balderas Alberico, Antonio (Universidad de Cádiz, 2021-06-28)
Editor de mapas basados en tiles

Villegas Núñez, Carlos (2010-10-28)
Elaboración de un buen póster cientíﬁco

García Domínguez, Antonio (2011-01-01)
Estudio de viabilidad de una metodología dirigida por modelos para el desarrollo de los sistemas de información de una empresa de fabricación distribuida

García Domínguez, Antonio (2010-01-01)
Event-driven temporal models for explanations-ETeMoX: explaining reinforcement learning

Parra-Ullauri, Juan Marcelo; García Domínguez, Antonio; Bencomo, Nelly; Zheng, Changgang; Zhen, Chen; Boubeta Puig, Juan; Ortiz Bellot, Guadalupe; Yang, Shufan (SPRINGER, 2021-12)
Framework para la gestión de invariantes dinámicos en WS-BPEL

Santacruz López-Cepero, Francisco Javier (2011-09-27)
GAmeraHOM, un generador de mutantes de orden superior para composiciones WS-BPEL

Blanco Muñoz, Emma (2012-03-01)
Generación de código Hibernate desde modelos UML

Nogueiro Mariscal, Alejandro (2012-10-01)
Generador de casos de prueba aleatorio basado en especificaciones abstractas

Pérez Montero, Miguel Ángel (2012-01-26)
Generador de casos de prueba basado en estrategias personalizables

Pérez Montero, Miguel Ángel (2013-07-31)
Generador de casos de prueba genético

Galán Piñero, Álvaro (2012-09-26)
Generador de conjuntos de pruebas paramétricos BPELUnit para composiciones WS-BPEL

Ezquerro Casado, Jose Luis (2013-07-31)
GiGAn: evolutionary mutation testing for C++ object-oriented systems

Delgado Pérez, Pedro; Medina Bulo, María Inmaculada; Segura, Sergio; García Domínguez, Antonio; Domínguez Jiménez, Juan José (ACM, 2017-04)
Herramienta para la generación automática de casos de prueba mediante siembra automática para WS-BPEL 2.0

Liñeiro Barea, Valentín (2014-02-04)
Implementación de extremo a extremo en WS-BPEL 2.0 de procesos de negocio interactivos para gestión inmobiliaria

Villalba Fernández, María de los Ángeles (2015-07-01)
Implementación de operadores de mutación para WS-BPEL 2.0

Boubeta Puig, Juan (2010-09-14)