Component-Based Software Engineering

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

  • Michel R. V. Chaudron
  • Clemens Szyperski
  • Ralf Reussner
Conference proceedings CBSE 2008

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

Table of contents

  1. Front Matter
  2. Performance Engineering

    1. Rafael Tolosana-Calasanz, Omer F. Rana, José A. Bañares
      Pages 1-15
    2. Vibhu Saujanya Sharma, Pankaj Jalote
      Pages 32-47
    3. Michael Kuperberg, Klaus Krogmann, Ralf Reussner
      Pages 48-63
  3. Extra-Functional Properties: Security and Energy

  4. Formal Methods and Model Checking

    1. Markus Lumpe, Lars Grunske, Jean-Guy Schneider
      Pages 130-145
    2. Pavlína Vařeková, Ivana Černá
      Pages 146-162
  5. Verification Techniques

    1. Daniel Sundmark, Jan Carlson, Sasikumar Punnekkat, Andreas Ermedahl
      Pages 180-195
    2. Yunja Choi, Christian Bunse
      Pages 196-211
  6. Run-Time Infrastructures

    1. Giovanni Russello, Leonardo Mostarda, Naranker Dulay
      Pages 212-229
    2. Eli Gjørven, Frank Eliassen, Romain Rouvoy
      Pages 230-245
  7. Methods of Design and Development

    1. Antonia Albani, Sven Overhage, Dominik Birkmeier
      Pages 262-277
    2. Heiko Koziolek, Steffen Becker, Jens Happe, Ralf Reussner
      Pages 278-285
    3. Bart George, Régis Fleurquin, Salah Sadou
      Pages 286-301
    4. Gerald Kotonya, Simon Lock, John Mariani
      Pages 302-309
  8. Component Models

    1. Séverine Sentilles, Aneta Vulgarakis, Tomáš Bureš, Jan Carlson, Ivica Crnković
      Pages 310-317
    2. Patricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina
      Pages 334-350
  9. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2008, held in Karlsruhe, Germany in October 2008.

The 20 revised full papers and 3 short papers presented were carefully reviewed and selected from 70 submissions. The papers feature new trends in global software services and distributed systems architectures to push the limits of established and tested component-based methods, tools and platforms. The papers are organized in topical sections on performance engineering; extra-functional properties: security and energy; formal methods and model checking; verification techniques; run-time infrastructures; methods of design and development; component models.


component models component-based systems design model-driven development real-time information systems reasoning techniques run-time adaptation sensor networks service-oriented architectures software engineering software quality specification systems architecture verification web services

Editors and affiliations

  • Michel R. V. Chaudron
    • 1
  • Clemens Szyperski
    • 2
  • Ralf Reussner
    • 3
  1. 1.Technische Universiteit EindhovenEindhovenThe Netherlands
  2. 2.MicrosoftUSA
  3. 3.Chair for Software Design and QualityUniversity of Karlsruhe (TH),KarlsruheGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-87890-2
  • Online ISBN 978-3-540-87891-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment