SAVCBS Workshops

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
SAVCBS Workshops

Specification and Verification of
Component-Based Systems

We plan to hold the next SAVCBS in conjunction with SIGSOFT/FSE 2006 in Portland Oregon. The call for papers has not been issued yet, but the current plan is for papers to be due sometime after the FSE deadline of June 26, 2006.
Information about the 2005 SAVCBS workshop, affiliated with ESEC/FSE 2005, which was held at the Campolide campus of the New University of Lisbon, Portugal, September 5-6, 2005.
Information about the 2004 SAVCBS workshop, affiliated with ACM SIGSOFT 2004/FSE-12, to be held in in Newport Beach, California, October 31 and November 1, 2004.
Information about the 2003 SAVCBS workshop, affiliated with ESEC/FSE 2003, that was held in Helsinki, Finland, on September 1-2, 2003.
Information about the 2001 SAVCBS workshop, affiliated with OOPSLA 2001, which was held in Tampa Bay, Florida on October 14, 2001.

See also the page of links to various systems and research projects in the area of specification and verification of component-based systems.

Gary T. Leavens
$Date: 2005/07/02 22:51:44 $