Movatterモバイル変換

[0]ホーム
URL:

Skip to main content

Advertisement

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

    You can also search for this editor inPubMed 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

    You can also search for this editor inPubMed Google Scholar

  3. Christine Hofmeister

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

    You can also search for this editor inPubMed 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

    Softcover Book JPY 7149
    Price includes VAT (Japan)
    • 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

    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)

    2. Component Models: Taxonomies and Applications

      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

    4. Communication and Composition

      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

    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

    Back to top

    Access this book

    Softcover Book JPY 7149
    Price includes VAT (Japan)
    • 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

    [8]ページ先頭
    ©2009-2025 Movatter.jp