Skip to main content
Springer Nature Link
Log in

Component-Based Software Engineering

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Grace A. Lewis

    1. Software Engineering Institute, Software Engineering Institute, Carnegie Mellon® http://www.sei.cmu.edu/staff/glewis, Pittsburgh, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Iman Poernomo

    1. The Predictable Assembly Laboratory, , Department of Computer Science,, King’s College London, Strand, http://palab.dcs.kcl.ac.uk, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Christine Hofmeister

    1. Computer Science Department, East Stroudsburg University, http://www.esu.edu/~chrish, East Stroudsburg, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: CBSE 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Component Models: Taxonomies and Applications

    1. On Component Identification Approaches – Classification, State of the Art, and Comparison

      • Dominik Birkmeier, Sven Overhage
      Pages 1-18

    2. Domain-Specific Software Component Models

      • Kung-Kiu Lau, Faris M. Taweel
      Pages 19-35

    3. A Model-Driven Engineering Framework for Component Models Interoperability

      • Ivica Crnković, Ivano Malavolta, Henry Muccini
      Pages 36-53

  3. Component Integration: Patterns and Profiling

    1. Process Patterns for Component-Based Software Development

      • Ehsan Kouroshfar, Hamed Yaghoubi Shahir, Raman Ramsin
      Pages 54-68

    2. Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support

      • Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, Franck Chauvel
      Pages 69-86

    3. Extracting Behavior Specification of Components in Legacy Applications

      • Tomáš Poch, František Plášil
      Pages 87-103

    4. Towards Dynamic Component Isolation in a Service Oriented Platform

      • Kiev Gama, Didier Donsez
      Pages 104-120

  4. Communication and Composition

    1. Control Encapsulation: A Calculus for Exogenous Composition of Software Components

      • Kung-Kiu Lau, Mario Ornaghi
      Pages 121-139

    2. Component Specification Using Event Classes

      • Mark Bickford
      Pages 140-155

    3. Integrating Functional and Architectural Views of Reactive Systems

      • Jewgenij Botaschanjan, Alexander Harhurin
      Pages 156-172

  5. Extra-Functional Analysis

    1. Integration of Extra-Functional Properties in Component Models

      • Séverine Sentilles, Petr Štěpán, Jan Carlson, Ivica Crnković
      Pages 173-190

    2. Modelling Layered Component Execution Environments for Performance Prediction

      • Michael Hauck, Michael Kuperberg, Klaus Krogmann, Ralf Reussner
      Pages 191-208

    3. Component-Based Real-Time Operating System for Embedded Applications

      • Frédéric Loiret, Juan Navas, Jean-Philippe Babau, Olivier Lobry
      Pages 209-226

  6. Components within the Development Life Cycle

    1. Services + Components = Data Intensive Scientific Workflow Applications with MeDICi

      • Ian Gorton, Jared Chase, Adam Wynne, Justin Almquist, Alan Chappell
      Pages 227-241

    2. Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

      • Joseph R. Kiniry, Fintan Fairmichael
      Pages 242-261

    3. Unit Testing of Software Components with Inter-component Dependencies

      • George T. Heineman
      Pages 262-273

  7. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Component-Based Software Engineering

Editors and Affiliations

  • Software Engineering Institute, Software Engineering Institute, Carnegie Mellon® http://www.sei.cmu.edu/staff/glewis, Pittsburgh, USA

    Grace A. Lewis

  • The Predictable Assembly Laboratory, , Department of Computer Science,, King’s College London, Strand, http://palab.dcs.kcl.ac.uk, London, UK

    Iman Poernomo

  • Computer Science Department, East Stroudsburg University, http://www.esu.edu/~chrish, East Stroudsburg, USA

    Christine Hofmeister

Bibliographic Information

Publish with us

Policies and ethics

Back to top