Programming and Software Engineering

Component-Based Software Engineering

9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings

Editors: Gorton, I., Heinemann, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (Eds.)

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-540-35629-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-540-35628-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

On behalf of the Organizing Committee I am pleased to present the proceedings of the 2006 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and customization. CBSE 2006 was the ninth 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. We were fortunate to have a dedicated Program Committee comprising 27 internationally recognized researchers and industrial practitioners. We received 77 submissions and each paper was reviewed by at least three Program Committee members (four for papers with an author on the Program Committee). The entire reviewing process was supported by Microsoft’s CMT technology. In total, 22 submissions were accepted as full papers and 9 submissions were accepted as short papers. This was the first time CBSE was not held as a co-located event at ICSE. Hence special thanks are due to Ivica Crnkovic for hosting the event. We also wish to thank the ACM Special Interest Group on Software Engineering (SIGSOFT) for their sponsorship of CBSE 2005. The proceedings you now hold were published by Springer and we are grateful for their support. Finally, we must thank the many authors who contributed the high-quality papers contained within these proceedings.

Table of contents (31 chapters)

  • Defining and Checking Deployment Contracts for Software Components

    Lau, Kung-Kiu (et al.)

    Pages 1-16

  • GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

    Lumpe, Markus

    Pages 17-32

  • Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System

    Attie, Paul C. (et al.)

    Pages 33-49

  • Verification of Component-Based Software Application Families

    Xie, Fei (et al.)

    Pages 50-66

  • Multi Criteria Selection of Components Using the Analytic Hierarchy Process

    Cangussu, João W. (et al.)

    Pages 67-81

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-540-35629-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-540-35628-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Component-Based Software Engineering
Book Subtitle
9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings
Editors
  • Ian Gorton
  • George T. Heinemann
  • Ivica Crnkovic
  • Heinz W. Schmidt
  • Judith A. Stafford
  • Clemens Szyperski
  • Kurt Wallnau
Series Title
Programming and Software Engineering
Series Volume
4063
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-35629-5
DOI
10.1007/11783565
Softcover ISBN
978-3-540-35628-8
Edition Number
1
Number of Pages
XII, 396
Topics