SAVCBS'06 Specification and Verification of Component-Based Systems Workshop at ACM SIGSOFT 2006/FSE-14 November 10-11, 2006

## Formatting Details for Authors

Since papers are going into the digital library, authors need to sign a copyright form and format papers carefully in ACM Conference format.

For the same reason, authors should include CR categories, general terms, and keywords in their document, as described in the ACM conference format.

For inclusion in the ACM Digital Library, lead authors also need to sign (on behalf of their coauthors) a copy of Part A of the ACM Transfer of Copyright Agreement. Please send it by post (or fax) to Gary T. Leavens. Gary will forward them to the ACM staff.

### Permission Block

Authors should format their papers with a permission block at the bottom left of the first page that reads as follows.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.

Fifth International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2006), November 10-11, 2006, Portland, Oregon, USA.

Copyright 2006 ACM ISBN 1-59593-586-X/06/11 ... $5.00 #### Word If you are using Word, use the alternate document template to get the permission block in the right place. If there isn't enough room in the permission block, abbreviate the conference to SAVCBS 2006. Be sure to include CR categories, general terms, and keywords. #### LaTeX with sig-alternate.cls Style File If you are using LaTeX, we recommend using the sig-alternate.cls style. If you do that, then your document should start with: \documentclass{sig-alternate} \usepackage[T1]{fontenc}  The use of the fontenc package with the T1 option helps get T1 fonts into documents. Then to get the permission block use the following after \begin{document}: \conferenceinfo{Fifth International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2006), }{November 10--11, 2006, Portland, Oregon, USA.} \CopyrightYear{2006} \crdata{ISBN 1-59593-586-X/06/11}  #### LaTeX with acm_proc_article-sp.cls Style File If you would rather use the acm_proc_article-sp.cls style, your document would start with: \documentclass{acm_proc_article-sp} \usepackage[T1]{fontenc}  Again, the use of the fontenc package with the T1 option helps get T1 fonts into documents. Then, when using this style, you generate the permission block by using the following (which can appear before the \begin{document} in this style): \toappear{ Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.\newline \textit{ Fifth International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2006)}, November 10-11, 2006, Portland, Oregon, USA.\newline Copyright 2006 ACM ISBN 1-59593-586-X/06/11 ...\$5.00.
}


Thanks to Andrew McVeigh for help with this style.

#### LaTeX Meta Data

To include CR categories, general terms, and keywords with one of the two recommended styles, use something like the following (after \begin{document}), edited to suit your paper:

\category{D.2.11}{Software Engineering}{Software Architectures}[Languages]
\category{D.2.13}{Software Engineering}{Reusable Software}[Reuse models]
\category{D.2.10}{Software Engineering}{Design}[Representation]
\terms{Design, languages}
\keywords{Architecture, components, composition, reuse, modelling}


Gary T. Leavens

$Date: 2006/10/23 09:04:03$