Specification and design of component-based coordination systems by integrating coordination patterns

Full Text:

Pdf

Buy this Article

Authors:	Pedro L. Pérez-Serrano	University of Extremadura, Escuela Politécnica, Cáceres (Spain)
	Marisol Sánchez-Alonso	University of Extremadura, Escuela Politécnica, Cáceres (Spain)

Published in:

	· Proceeding
	SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
	ACM New York, NY, USA ©2005 table of contents ISBN:1-59593-371-9 doi>10.1145/1123058.1123069
	· Newsletter
	ACM SIGSOFT Software Engineering Notes Homepage
	Volume 31 Issue 2, March 2006 ACM New York, NY, USA table of contents doi>10.1145/1108768.1123069

	2005 Article
Bibliometrics
· Downloads (6 Weeks): 2 · Downloads (12 Months): 21 · Citation Count: 1

Tools and Resources

Tags: accordance checker behavior simulation coordination patterns coordination requirements design design tools and techniques formal definitions and theory languages performance requirements/specifications software/program verification specifying and verifying and reasoning about programs standardization verification