Formal Methods for Components and Objects: 11th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Paperback, 2013)

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.