Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 SC 2004 Software Composition
The component-based approach to produce software from smaller units has
attracted increasing attention of both research and industry. Software
composition extends this approach because it does not only reason about
component models but investigates into technology to compose and adapt components.
The rational behind this trend is in the promise of reuse. This is the
idea to produce software by "plug & play" components which already
exist or are produced by different external vendors. Components and
software composition are considered to be a new way to overcome the
remaining problems (e.g. reusability, deal with complexity) still not
solved by the object-oriented paradigm.
Topics of Interest
In this context, the intention of this workshop is to collect new
approaches and experiences to software composition, e.g.,
novel composition operators
composition languages
merging techniques
adaptation techniques
verification and validation techniques
view-and aspect composition techniques
dynamic composition techniques
program analysis for composition
uniform composition techniques for XML dialects
generic semantic analysis for uniform composition
semantics-based composition (components and the Semantic Web)
components and Web Services
To emphasise the economic relevance papers with a practical background
are favoured.
Further proposals for topics of a discussion session are
appreciated.
We solicit papers of minimum 10 pages, containing new material, work in
progress, or position papers. The papers should be in standard
Postscript Level 2 or PDF. Only electronic submission will be allowed.
Please send an e-mail with the subject: "ETAPS SC 2004 submission" and
containing your submission in [Postscript | PDF] to Uwe.Assmann@ida.liu.se
The acceptance of a paper implies that at least one of the authors will
register for the workshop and thus present the paper. All accepted
publications will be made available in an online proceedings on the workshop web page, and in a technical report of ETAPS.
The online proceedings will appear in a volume of Electronic Notes in
Theoretical Computer Science (ENTCS). You can see the this year's
publications by looking up the URL
http://www.elsevier.nl/gej-ng/31/29/23/133/47/show/Products/notes/index.htt
.
ENTCS affords a rapid publication of proceedings and other appropriate
material online. The series is reviewed by both the Mathematical Reviews
of the AMS and the ACM's Computing Reviews. Additonally, the Table of
Contents and Abstracts from each volume are published in TCS as they
appear online. The series was founded to promote the rapid and
widespread dissemination of proceedings of conferences and workshops,
lecture notes, PhD theses and other similar material.
Please consult ENTCS proceedings HOWTO
for more information regarding formatting your paper.