Author of the publication

Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas.

, and . JISBD, page 189-204. (2001)

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

Simulación del comportamiento en entornos de cooperación de objetos activos mediante Maude., , , , and . JISBD, page 269-280. Grupo de Paralelismo, Departamento de Informática, Escuela Politécnia, Universidad de Extremadura, (1999)Multiattribute indexing with m-Q-trees., , , , , , , and . PDP, page 94-101. IEEE Computer Society, (1998)Eficiencia o adaptabilidad: Factores de calidad., , , and . JISBD, page 177-190. Universidad de Valladolid, Departamento de Informática, (2000)Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas., and . JISBD, page 189-204. (2001)Propuesta de un Profile de Aspectos en UML., , , and . JISBD, page 103-114. (2002)CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment., , , and . LDTA@ETAPS, volume 82 of Electronic Notes in Theoretical Computer Science, page 643-658. Elsevier, (2003)Guaranteeing Coherent Software Systems when Composing Coordinated Components., , , and . COORDINATION, volume 1906 of Lecture Notes in Computer Science, page 341-346. Springer, (2000)COFRE: Environment for Specifying Coordination Requirements using Formal, and Graphical Techniques., , and . J. Res. Pract. Inf. Technol., (2004)Specification and design of component-based coordination systems by integrating coordination patterns., and . SAVCBS@ESEC/FSE, page 10. ACM, (2005)Specifying Cooperation Environment Requirements using Formal and Graphical Techniques., and . WER, page 225-239. (2002)