SAVCBS 2008 Call For Papers -- 7th Workshop on Specification and Verification of Component-based Systems (co-located with FSE 2008)

[Robby-11]

                            Call for Papers
                             SAVCBS'08
      Workshop at ACM SIGSOFT 2008/FSE 16 November 9-10, 2008
                 http://www.eecs.ucf.edu/SAVCBS/


The fifth workshop on specification and verification of component-based
systems is affiliated with ACM SIGSOFT 2008/FSE 16 and will be held in
Atlanta, Georgia, November 9-10, 2008. Papers are due September 8, 2008.
There will be no formal publication of papers, and authors
will retain copyright to their papers.


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.

Challenge Problem

One session during the workshop will be devoted to presenting
solutions (full or partial) to a challenge problem. This problem will
present features that pose difficulties for current specification
technologies. The session will be open both to presenters as well as
participants of the workshop. Details on the challenge problem
will be posted at http://www.eecs.ucf.edu/SAVCBS/2008/challenge.shtml.
Solutions should illustrate innovative features of specification or
verification as they pertain to this particular problem.

Submissions

Submissions must not exceed 8 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. Papers will be
submitted on-line at http://www.easychair.org/conferences/?conf=savcbs08 .
Best papers will be invited for submission to a journal special issue.

Important dates:

      Submission deadline: September 8, 2008
      Notification date: October 8, 2008
      Final versions: November 3, 2008

See http://www.eecs.ucf.edu/SAVCBS/ for more details.

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
Jmlspecs-interest mailing list
Jmlspecs-interest@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-interest