Formal Aspects of Component Software
7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Editors: Barbosa, Luis Soares, Lumpe, Markus (Eds.)
Free Preview- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
Buy this book
- About this book
-
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.
- Table of contents (20 chapters)
-
-
Quantitative Analysis of Software: Challenges and Recent Advances
Pages 1-5
-
Analysis of Service Oriented Software Systems with the Conversation Calculus
Pages 6-33
-
QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs
Pages 34-52
-
Monitoring Method Call Sequences Using Annotations
Pages 53-70
-
An Introduction to Pervasive Interface Automata
Pages 71-87
-
Table of contents (20 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Formal Aspects of Component Software
- Book Subtitle
- 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
- Editors
-
- Luis Soares Barbosa
- Markus Lumpe
- Series Title
- Programming and Software Engineering
- Series Volume
- 6921
- Copyright
- 2012
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag GmbH Berlin Heidelberg
- eBook ISBN
- 978-3-642-27269-1
- DOI
- 10.1007/978-3-642-27269-1
- Softcover ISBN
- 978-3-642-27268-4
- Edition Number
- 1
- Number of Pages
- X, 305
- Topics
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.
