Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2007

Component-Based Software Engineering

10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings

Editors:

  1. Heinz W. Schmidt
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ivica Crnkovic
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. George T. Heineman
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Judith A. Stafford
    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 4608)

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

Conference series link(s): CBSE: International Symposium on Component-Based Software Engineering

Conference proceedings info: CBSE 2007.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

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

Table of contents (19 papers)

  1. Front Matter

    PDF

  2. Component-Based Architectures and Change

    1. Data Encapsulation in Software Components

      • Kung-Kiu Lau, Faris M. Taweel
      Pages 1-16

    2. Binary Change Set Composition

      • Tijs van der Storm
      Pages 17-32

    3. Automated and Unanticipated Flexible Component Substitution

      • Nicolas Desnos, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Guy Tremblay
      Pages 33-48

    4. Dynamic Adaptation of Aspect-Oriented Components

      • Cristóbal Costa, Jennifer Pérez, José Ángel Carsí
      Pages 49-65

  3. Quality of Service, Runtime Verification and Monitoring

    3. A Study of Execution Environments for Software Components

      • Kung-Kiu Lau, Vladyslav Ukis
      Pages 107-123

    4. Monitoring Architectural Properties in Dynamic Component-Based Systems

      • Henry Muccini, Andrea Polini, Fabiano Ricci, Antonia Bertolino
      Pages 124-139

  4. Extra-Functional Properties and Compositional Reasoning

    3. Integration of Time Issues into Component-Based Applications

      • Sébastien Saudrais, Noël Plouzeau, Olivier Barais
      Pages 173-188

    4. Slicing of Component Behavior Specification with Respect to Their Composition

      • Ondřej Šerý, František Plášil
      Pages 189-202

    5. An Execution-Level Component Composition Model Based on Component Testing Information

      • Gerardo Padilla, Carlos Montes de Oca, Cuauhtemoc Lemus
      Pages 203-210

  5. Web Services, Late Composition and Verification

    1. Capturing Web Services Provider Constraints – An Algorithmic Approach

      • Sudeep Mallick, S. V. Subrahmanya
      Pages 211-226

    3. Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems

      • Juraj Polakovic, Sebastien Mazare, Jean-Bernard Stefani, Pierre-Charles David
      Pages 242-257

    4. A Framework for Contract-Based Collaborative Verification and Validation of Web Services

      • Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsai, Yinong Chen
      Pages 258-273

    5. Towards Composing Software Components in Both Design and Deployment Phases

      • Kung-Kiu Lau, Ling Ling, Perla Velasco Elizondo
      Pages 274-282
Back to top

Other Volumes

  1. Component-Based Software Engineering

Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Search

Navigation