Skip to main content
SpringerLink
Log in

Component-Based Software Engineering

11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Michel R. V. Chaudron

    1. Technische Universiteit Eindhoven, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Clemens Szyperski

    1. Microsoft, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ralf Reussner

    1. Chair for Software Design and Quality, University of Karlsruhe (TH),, Karlsruhe, Germany

    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 5282)

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

Included in the following conference series:

Conference proceedings info: CBSE 2008.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Performance Engineering

    1. Automating Performance Analysis from Taverna Workflows

      • Rafael Tolosana-Calasanz, Omer F. Rana, José A. Bañares
      Pages 1-15

    2. An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction

      • Anne Martens, Steffen Becker, Heiko Koziolek, Ralf Reussner
      Pages 16-31

    3. Deploying Software Components for Performance

      • Vibhu Saujanya Sharma, Pankaj Jalote
      Pages 32-47

    4. Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models

      • Michael Kuperberg, Klaus Krogmann, Ralf Reussner
      Pages 48-63

  3. Extra-Functional Properties: Security and Energy

    1. Validating Access Control Configurations in J2EE Applications

      • Lianshan Sun, Gang Huang, Hong Mei
      Pages 64-79

    2. Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms

      • Pierre Parrend, Stéphane Frénot
      Pages 80-96

    3. Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems

      • Chiyoung Seo, Sam Malek, Nenad Medvidovic
      Pages 97-113

  4. Formal Methods and Model Checking

    1. Synthesis of Connectors from Scenario-Based Interaction Specifications

      • Farhad Arbab, Sun Meng
      Pages 114-129

    2. State Space Reduction Techniques for Component Interfaces

      • Markus Lumpe, Lars Grunske, Jean-Guy Schneider
      Pages 130-145

    3. Model Checking of Control-User Component-Based Parametrised Systems

      • Pavlína VaÅ™eková, Ivana ÄŒerná
      Pages 146-162

  5. Verification Techniques

    1. Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems

      • Andreas Both, Wolf Zimmermann
      Pages 163-179

    2. Structural Testing of Component-Based Systems

      • Daniel Sundmark, Jan Carlson, Sasikumar Punnekkat, Andreas Ermedahl
      Pages 180-195

    3. Towards Component-Based Design and Verification of a μ-Controller

      • Yunja Choi, Christian Bunse
      Pages 196-211

  6. Run-Time Infrastructures

    1. ESCAPE: A Component-Based Policy Framework for Sense and React Applications

      • Giovanni Russello, Leonardo Mostarda, Naranker Dulay
      Pages 212-229

    2. Experiences from Developing a Component Technology Agnostic Adaptation Framework

      • Eli Gjørven, Frank Eliassen, Romain Rouvoy
      Pages 230-245

    3. A Practical Approach for Finding Stale References in a Dynamic Service Platform

      • Kiev Gama, Didier Donsez
      Pages 246-261

  7. Methods of Design and Development

    1. Towards a Systematic Method for Identifying Business Components

      • Antonia Albani, Sven Overhage, Dominik Birkmeier
      Pages 262-277

    2. Life-Cycle Aware Modelling of Software Components

      • Heiko Koziolek, Steffen Becker, Jens Happe, Ralf Reussner
      Pages 278-285

    3. A Component Selection Framework for COTS Libraries

      • Bart George, Régis Fleurquin, Salah Sadou
      Pages 286-301
Back to top

Other volumes

  1. Component-Based Software Engineering

Keywords

About this book

On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensivesystems from independently developed software-building blocks (components), the - velopment of components, and system maintenance and improvement by means of component replacement and customization. CBSE 2008 was the 11th in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. Wewerefortunateto haveadedicatedProgramCommitteecomprisingmany internationallyrecognizedresearchersandindustrialpractitioners.Wewouldlike to thank the members of the Program Committee and associated reviewers for their contribution in making this conference a success. We received 70 subm- sions and each paper was reviewed by at least three Program Committee m- bers (four for papers with an author on the Program Committee). The entire reviewing process was supported by the Conference Management Toolkit p- vided by Microsoft. In total, 20 submissions were accepted as full papers and 3 submissions were accepted as short papers.

Editors and Affiliations

  • Technische Universiteit Eindhoven, Eindhoven, The Netherlands

    Michel R. V. Chaudron

  • Microsoft, USA

    Clemens Szyperski

  • Chair for Software Design and Quality, University of Karlsruhe (TH),, Karlsruhe, Germany

    Ralf Reussner

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation