Author of the publication

Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual.

, , and . JISBD, page 169-170. Grupo de Paralelismo, Departamento de Informática, Escuela Politécnia, Universidad de Extremadura, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Diseño sistemático de pruebas para consultas XPath utilizando técnicas de partición., , and . JISBD, page 99-108. (2006)Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual., , and . JISBD, page 169-170. Grupo de Paralelismo, Departamento de Informática, Escuela Politécnia, Universidad de Extremadura, (1999)TIBLEUS: A Model to Build Internet Online Support Services Using ASP., , , and . ICEIS, page 619-625. (1999)Identifying Test Requirements by Analyzing SLA Guarantee Terms., , , and . ICWS, page 351-358. IEEE Computer Society, (2012)Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones., , and . JISBD, page 95-104. Thomson Editorial, (2007)Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking., , and . TAIC PART, page 127-130. IEEE Computer Society, (2006)A Proactive Approach to Test Service Level Agreements., , , and . ICSEA, page 453-458. IEEE Computer Society, (2010)A Partition-Based Approach for XPath Testing., , and . ICSEA, page 17. IEEE Computer Society, (2006)Building Internet Shops: Current Status of the Cities Project., , , and . ICEIS, page 529-530. (2000)A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search., , and . ICST Workshops, page 131-140. IEEE Computer Society, (2009)