Call for Papers
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.
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?
Accepted papers will be published by ACM. We are also considering a special journal issue that will include extended versions of the best papers of CBSE 2014.
See the Organization page.
See the Important Dates page.
See the Submission page.
CBSE is kindly supported by ACM SIGSOFT