[ecoop-info] [CfP] 17th Int. Symposium on Component-Based Software Engineering (CBSE)

[Romain Rouvoy]

THE 17TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT BASED SOFTWARE ENGINEERING (CBSE 2014)

Lille, France, June 30 - July 4, 2014

http://cbse-conferences.org/2014

CBSE is an ACM SIGSOFT (http://www.sigsoft.org/) event, part of the CompArch federated
conference series -- see http://www.comparch2014.eu/ for more information.

GOALS
Component-based Software Engineering (CBSE) continues to attract interest and evolve as a
discipline for the rapid assembly of flexible software systems. CBSE combines elements of software
requirements engineering, architecture, design, verification, testing, configuration and deployment.
The CBSE symposium has an established track record of bringing together researchers and
practitioners from a variety of disciplines to promote a better understanding of CBSE from diverse
perspectives, and to engage in active discussion and debate. CBSE 2014 is open to all participants
from universities and industry interested in CBSE and related areas.

SCOPE
The CBSE symposium has emerged as the flagship research event for the component community.
CBSE 2014 encompasses research (both theoretical and applied) that extends the state-of-the-art in
component specification, composition, analysis, testing, and verification. Experience reports,
empirical studies and presentation of component-based benchmarks and case studies are also within
scope. Participants from industry and academia have the opportunity to exchange ideas and
experiences in a variety of sessions involving invited and technical presentations, panels, and so on.

New trends in global services, distributed systems architectures, dynamically adaptable systems, and
large-scale software systems often cross organizational boundaries and push the limits of established
component-based methods, tools and platforms. Innovative solutions from diverse paradigms (e.g.,
service-, aspect-, and agent-oriented) are needed to address these emerging trends.

MAIN TOPICS
Topics of interest for CBSE 2014 therefore include, but are not limited to, the following:
 * Specification, architecture, and design of component models and component-based systems
 * Software quality assurance for component-based engineering
 * Verification, testing and certification of component-based systems
 * Component composition, binding, and dynamic adaptation
 * Formal methods for automated component composition and integration
 * Component-based engineering with agents, aspects, or services
 * Component-based product-line engineering
 * Non-functional properties (quality of service attributes) in component-based engineering
 * Patterns and frameworks for component-based engineering
 * Tools and methods for component-based engineering
 * Industrial experience using component-based software development
 * Empirical studies in component-based software engineering
 * Teaching component-based software engineering

SPECIAL THEME - Dependable and Predictable Components
As component-based development spread to new domains, new challenges arise. For safety-critical or
mission-critical systems, it is crucial to establish to what extent individual components can be
trusted and depended on, as well as developing a solid understanding of the impact from individual
components on the overall dependability of the system. Also non-critical systems benefit from more
predictable component behaviour, since it facilitates analysis and design decisions at a high
architectural level. What system and component properties are needed to reason about these issues?
Should some information of this type be part of the component interface specification, and can
assumptions about the component environment be captured in a way that allows for information reuse
when the component is instantiated in new contexts? How can components be analysed to ensure, with
high confidence, that they conform to specifications?

PAPER SUBMISSION
We solicit two categories of papers:
 * Regular papers, not exceeding 10 pages (including appendices), describing fully developed work.
   Authors of papers reporting experimental work are strongly encouraged to make their experimental
   results available for use by reviewers. Similarly, case study papers should describe significant
   case studies and the complete development should be made available for use by reviewers.
 * Short papers of a maximum of 6 pages should describe novel ideas that have not been fully
   evaluated, or operational tools and their contributions. Tool papers should explain enhancements
   made compared to previously published work. Authors of tools papers should make their tool
   available for use by reviewers.

All papers will be evaluated by at least three members of the Program Committee. Papers must describe,
in English, original work that has not been published or submitted elsewhere. PDF versions of papers
should be submitted through the EasyChair submission system 
(https://www.easychair.org/conferences/?conf=cbse2014). Submissions should follow the standard ACM
format for conference proceedings (http://www.acm.org/sigs/publications/proceedings-templates).

PUBLICATION
Accepted papers will be published by ACM. We are considering a special journal issue that will
include extended versions of the best papers of CBSE 2014.

IMPORTANT DATES
Abstract submission deadline: February 5, 2014
Papers submission deadline: February 12, 2014
Notification to authors: March 25, 2014
Camera-ready version: April 16, 2014
Conference: June 30 - July 4, 2014

All deadlines are with respect to the UMT/GMT time zone.

COMPARCH GENERAL CHAIR
Lionel Seinturier, University Lille 1 (France)

CBSE PROGRAM CO-CHAIRS
Eduardo Almeida, Federal University of Bahia (Brazil)
Jan Carlson, Mälardalen University (Sweden)

PROGRAM COMMITTEE
Franck Barbier, University of Pau (France)
Steffen Becker, University of Paderborn (Germany)
Domenico Bianculli, University of Luxembourg (Luxembourg)
Etienne Borde, Telecom ParisTech (France)
Premek Brada, University of West Bohemia (Czech Republic)
Radu Calinescu, University of York (UK)
Carlos Canal, University of Málaga (Spain)
Alessandro Garcia, PUC-Rio (Brazil)
Gregor Goessler, INRIA (France)
Ian Gorton, CMU Software Engineering Institute (USA)
Lars Grunske, University of Stuttgart (Germany)
George Heineman, Worcester Polytechnic Institute (USA)
Petr Hnetynka, Charles University in Prague (Czech Republic)
Gang Huang, Peking University (China)
Oliver Hummel, Karlsruhe Institute of Technology (Germany)
Valerie Issarny, INRIA (France)
Fabrice Kordon, LIP6/UPMC (France)
Anne Koziolek, Karlsruhe Institute of Technology (Germany)
Magnus Larsson, ABB (India)
Kung-Kiu Lau, University of Manchester (UK)
Grace A. Lewis, CMU Software Engineering Institute (USA)
Frédéric Loiret, Institute für Informatik (Germany)
Patricia López Martínez, University of Cantabria (Spain)
Raffaela Mirandola, Politecnico di Milano (Italy)
Henry Muccini, University of L'Aquila (Italy)
Rob van Ommering, Philips Research (Netherlands)
Noel Plouzeau, IRISA/University of Rennes 1 (France)
Sanjai Rayadurgam, University of Minnesota (USA)
Ralf Reussner, Karlsruhe Institute of Technology (Germany)
Salah Sadou, IRISA/University of South Brittany (France)
Séverine Sentilles, Mälardalen University (Sweden)
Judith Stafford, University of Colorado (USA)
Clemens Szyperski, Microsoft Research (USA)
Massimo Tivoli, University of L'Aquila (Italy)
Michael Wahler, ABB Corporate Research (Switzerland)
Claudia Maria Lima Werner, Federal University of Rio de Janeiro (Brazil)


CBSE is kindly supported by ACM SIGSOFT (http://www.sigsoft.org)