Component-Based Software Engineering

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

  • Editors
  • Heinz W. Schmidt
  • Ivica Crnkovic
  • George T. Heineman
  • Judith A. Stafford
Conference proceedings CBSE 2007

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

Table of contents

  1. Front Matter
  2. Component-Based Architectures and Change

    1. Kung-Kiu Lau, Faris M. Taweel
      Pages 1-16
    2. Tijs van der Storm
      Pages 17-32
    3. Nicolas Desnos, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Guy Tremblay
      Pages 33-48
    4. Cristóbal Costa, Jennifer Pérez, José Ángel Carsí
      Pages 49-65
  3. Quality of Service, Runtime Verification and Monitoring

    1. Kung-Kiu Lau, Vladyslav Ukis
      Pages 107-123
    2. Henry Muccini, Andrea Polini, Fabiano Ricci, Antonia Bertolino
      Pages 124-139
  4. Extra-Functional Properties and Compositional Reasoning

    1. Sébastien Saudrais, Noël Plouzeau, Olivier Barais
      Pages 173-188
    2. Ondřej Šerý, František Plášil
      Pages 189-202
    3. Gerardo Padilla, Carlos Montes de Oca, Cuauhtemoc Lemus
      Pages 203-210
  5. Web Services, Late Composition and Verification

    1. Sudeep Mallick, S. V. Subrahmanya
      Pages 211-226
    2. Juraj Polakovic, Sebastien Mazare, Jean-Bernard Stefani, Pierre-Charles David
      Pages 242-257
    3. Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsai, Yinong Chen
      Pages 258-273
    4. Kung-Kiu Lau, Ling Ling, Perla Velasco Elizondo
      Pages 274-282

About these proceedings

Keywords

Web Services distributed systems monitor software engineering structured analysis systems architecture verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73551-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73550-2
  • Online ISBN 978-3-540-73551-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book