© 2009

Component-Based Software Engineering

12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

  • Grace A. Lewis
  • Iman Poernomo
  • Christine Hofmeister
Conference proceedings CBSE 2009

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5582)

Table of contents

  1. Front Matter
  2. Component Models: Taxonomies and Applications

    1. Kung-Kiu Lau, Faris M. Taweel
      Pages 19-35
    2. Ivica Crnković, Ivano Malavolta, Henry Muccini
      Pages 36-53
  3. Component Integration: Patterns and Profiling

    1. Ehsan Kouroshfar, Hamed Yaghoubi Shahir, Raman Ramsin
      Pages 54-68
    2. Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, Franck Chauvel
      Pages 69-86
    3. Tomáš Poch, František Plášil
      Pages 87-103
  4. Communication and Composition

    1. Mark Bickford
      Pages 140-155
    2. Jewgenij Botaschanjan, Alexander Harhurin
      Pages 156-172
  5. Extra-Functional Analysis

    1. Séverine Sentilles, Petr Štěpán, Jan Carlson, Ivica Crnković
      Pages 173-190
    2. Michael Hauck, Michael Kuperberg, Klaus Krogmann, Ralf Reussner
      Pages 191-208
    3. Frédéric Loiret, Juan Navas, Jean-Philippe Babau, Olivier Lobry
      Pages 209-226
  6. Components within the Development Life Cycle

    1. Ian Gorton, Jared Chase, Adam Wynne, Justin Almquist, Alan Chappell
      Pages 227-241
  7. Back Matter

About these proceedings


The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss component technology. Component-based software engineering (CBSE) has emerged as the under- ing technology for the assembly of ?exible software systems. In essence, CBSE is about composing computational building blocks to construct larger building blocks that ful?ll client needs. Most software engineers are involved in some form of component-based development. Nonetheless, the implications of CBSE adoption are wide-reaching and its challenges grow in tandem with its uptake, continuing to inspire our scienti?c speculation. Component-based development necessarily involves elements of software - chitecture, modular software design, software veri?cation, testing, con?guration and deployment. This year’s submissions represent a cross-section of CBSE - search that touches upon all these aspects. The theoretical foundations of c- ponent speci?cation, composition, analysis, and veri?cation continue to pose research challenges. What exactly constitutes an adequate semantics for c- munication and composition so that bigger things can be built from smaller things? How can formal approaches facilitate predictable assembly through b- ter analysis? We have grouped the proceedings into two sub-themes that deal with these issues: component models and communication and composition. At the same time, the world is changing.


MeDiCi Software Engineering classification consistency dependencies design documentation embedded systems model-driven engineering modeling operating system process patterns software component models software development structured analysis

Editors and affiliations

  • Grace A. Lewis
    • 1
  • Iman Poernomo
    • 2
  • Christine Hofmeister
    • 3
  1. 1.Software Engineering Institute, Software Engineering InstituteCarnegie Mellon®
  2. 2.The Predictable Assembly Laboratory, , Department of Computer Science,King’s College London, Strand,
  3. 3.Computer Science DepartmentEast Stroudsburg University, StroudsburgUSA

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment