Ebook: Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Author: Reiner Hähnle (auth.) Elena Giachino Reiner Hähnle Frank S. de Boer Marcello M. Bonsangue (eds.)
- Tags: Software Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages
- Series: Lecture Notes in Computer Science 7866
- Year: 2013
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
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.
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.
Content:
Front Matter....Pages -
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
Composing Distributed Systems: Overcoming the Interoperability Challenge....Pages 168-196
Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract....Pages 197-215
Formal Aspects of Free and Open Source Software Components....Pages 216-239
Back Matter....Pages -
Download the book Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)