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.
Details
on paper submission follow a general description of the workshop below.
Themes 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. Specification techniques are urgently needed to support effective
reasoning about systems composed from components. Component-based approaches
also underscore the need for scaling advanced verification techniques such
as extended static analysis and model checking to the size of real systems.
The workshop will consider formalization of both functional and non-functional
behavior (such as performance or reliability). 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
We are soliciting position papers from researchers and practitioners in
the areas of component-based software engineering and formal methods. Submissions
should outline the current state of research or practice, describe the
most pressing shortcomings, and formulate goals for future development.
Submissions
Invitation to the workshop will be based on accepted position papers. An
ideal position paper would identify new research topics, areas, or problems
related to component-based software engineering. It should address the
following questions.
-
What is the problem (or topic or area) that is being described?
-
What is the significance of the problem for component-based software engineering?
-
What theoretical or practical insights might help to solve this problem?
-
What related work is there about the problem and the theoretical approach?
How does it compare?
Important dates
Submission deadline:
August 15, 2004
Notification date:
September 15, 2004
Final versions:
October 10, 2004
Details
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 format.
Papers will be submitted on-line at
http://cyberchair.acm.org/savcbspapers/submit/.
We will notify authors that are selected for presentation to the workshop
by September 15, 2004. Some authors will be invited to attend but not
to present
their work formally, and others may have short presentations. All invited
authors will have pages in the workshop proceedings. The final versions
of papers for invited authors will be due on October 10, 2004.
Copies of the proceedings will be available on the web before the workshop.
Check back here to print a copy before attending.
For more information, visit http://www.eecs.ucf.edu/SAVCBS/
Workshop Paper Selection Committee:
The SAVCBS 2004 workshop gratefully acknowledges financial sponsorship
from Microsoft Research
We also thank the ACM for
helping broker the financial support.
Mike Barnett, Steve Edwards, Dimitra Giannakopoulou, Gary T. Leavens,
and Natasha Sharygina
$Date: 2008/06/02 21:20:58 $
