<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
                               Call for Papers
                                 SAVCBS'04
       Workshop at ACM SIGSOFT 2004/FSE-12 October 31-November 1, 2004
                    http://www.cs.iastate.edu/SAVCBS/

The third workshop on specification and verification of
component-based systems is affiliated with ACM SIGSOFT 2004/FSE-12 and
will be held in Newport Beach, California, October 31 and November 1,
2004. Seven page papers are due on August 15, 2004.

Theme and Topics of Interest

SAVCBS is focused on using formal (i.e., mathematical) techniques to
establish a foundation for the specification and verification of
component-based systems.  Suggested research topics of interest
include (but are not limited to):

  * Techniques for component-based verification or reasoning 
  * Component-based specification languages 
  * Static analysis of components and component compositions 
  * Verification-oriented design methodologies for components 
  * Dynamic checking techniques, including run-time assertion or
    property checking  
  * Specification and verification of non-functional component
    behavior (performance, memory, concurrency, etc.) 
  * Unifying formal descriptions of concurrency properties with
    model-based behavioral descriptions of components 
  * Balancing tradeoffs (automatic/manual verification,
    soundness/completeness, static/dynamic verification,
    testing/formal verification, scalability/coverage, etc.)  
  * Theories of component composition 
  * Industrial experience, such as adoption issues, with formal
    techniques for component-based systems 
  * Case studies of applying formal techniques to component based systems 
  * Educational experience or tactics for formal approaches to
    component-based systems  

Submissions should outline the current state of research or practice,
describe the most pressing shortcomings, and formulate goals for
future development.

Submissions

Submissions must not exceed 7 pages. We encourage, but do not require,
use of the ACM Conference format. We also suggest that you add page
numbers to your submission, to make adding comments easier. Papers
will be accepted in PDF or Postscript formats. The call for papers web
site (http://www.cs.iastate.edu/SAVCBS/2004/call.shtml) will contain a
link to the submission site when it is available.

Important dates  

        Submission deadline: August 15, 2004 
        Notification date: September 15, 2004 
       Final versions: October 10, 2004

Workshop Paper Selection Committee:

  * Jonathan Aldrich (CMU) 
  * Mike Barnett (Microsoft Research) 
  * Manfred Broy (Universität München) 
  * Betty H. C. Cheng 
  * Edmund M. Clarke (CMU) 
  * Matthew Dwyer (Univ. Nebraska) 
  * Steve Edwards (Virginia Tech) 
  * Dimitra Giannakopoulou (NASA Ames/RIACS) 
  * Gary T. Leavens (Iowa State) 
  * K. Rustan M. Leino (Microsoft Research) 
  * Rupak Majumdar (UCLA) 
  * Jeff Magee (Imperial College, London) 
  * Peter Müller (ETH Zürich) 
  * Wolfram Schulte (Microsoft Research) 
  * Natasha Sharygina (Carnegie Mellon) 
  * Murali Sitaraman (Clemson) 
  * Clemens Szyperski (Microsoft Research) 

Web Page:

See http://www.cs.iastate.edu/SAVCBS/ for more details.