UID:
almahu_9947364452902882
Format:
X, 241 p. 125 illus.
,
online resource.
ISBN:
9783642406157
Series Statement:
Lecture Notes in Computer Science, 7866
Content:
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.
Note:
The Abstract Behavioral Specification Language: A Tutorial Introduction -- Subobject-Oriented Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource Consumption -- Separating Cost and Capacity for Load Balancing in ABS Deployment Models -- Composing Distributed Systems: Overcoming the Interoperability Challenge -- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract -- Formal Aspects of Free and Open Source Software Components.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783642406140
Language:
English
DOI:
10.1007/978-3-642-40615-7
URL:
http://dx.doi.org/10.1007/978-3-642-40615-7
Bookmarklink
