CBSE 2014
Date: Jun 30, 2014 1:00 am – Jul 04, 2014 10:00 am
Location: Lille, France
THE 17TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT BASED SOFTWARE ENGINEERING (CBSE 2014)
CBSE is an ACM SIGSOFT (http://www.sigsoft.org/) event, part of the CompArch federated conference series -- seehttp://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?
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/)
Submitted by Anonymous
on
THE 17TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT BASED SOFTWARE ENGINEERING (CBSE 2014)
CBSE is an ACM SIGSOFT (http://www.sigsoft.org/) event, part of the CompArch federated conference series -- seehttp://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?
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/)