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

Information about the 2007 SAVCBS workshop, affiliated with ESEC/FSE 2007, which was held in Cavtat near Dubrovnik, Croatia on September 3-4, 2007.
Information about the 2006 SAVCBS workshop, affiliated with SIGSOFT/FSE 2006, which was held in Portland, Oregon on November 10-11, 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: 2007/11/27 18:35:25 $