Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Editors: Giachino, E., Haehnle, R., de Boer, F.S., Bonsangue, M.M. (Eds.)
Free Preview- State of the art research on formal methods for component and object oriented systems
- Outcome of the International Symposium on formal methods for components and objects
- Provides a unique combination of ideas on software engineering and formal methods
Buy this book
- About this book
-
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
- Table of contents (8 chapters)
-
-
The Abstract Behavioral Specification Language: A Tutorial Introduction
Pages 1-37
-
Subobject-Oriented Programming
Pages 38-82
-
Verification of Open Concurrent Object Systems
Pages 83-118
-
Automatic Inference of Bounds on Resource Consumption
Pages 119-144
-
Separating Cost and Capacity for Load Balancing in ABS Deployment Models
Pages 145-167
-
Table of contents (8 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Formal Methods for Components and Objects
- Book Subtitle
- 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
- Editors
-
- Elena Giachino
- Reiner Haehnle
- Frank S. de Boer
- Marcello M. Bonsangue
- Series Title
- Programming and Software Engineering
- Series Volume
- 7866
- Copyright
- 2013
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-40615-7
- DOI
- 10.1007/978-3-642-40615-7
- Softcover ISBN
- 978-3-642-40614-0
- Edition Number
- 1
- Number of Pages
- IX, 241
- Number of Illustrations
- 125 b/w illustrations
- Topics