Specification and Verification of
Component-Based Systems
Information about the 2008 SAVCBS workshop
, affiliated with
SIGSOFT 2008/FSE 16
, which will be held in Atlanta, Georgia, USA on November 9-10, 2008.
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: 2008/04/15 02:35:56 $
