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

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.

• Format: Paperback
• Language: English
• ISBN: 3642406149
• ISBN13: 9783642406140
• Release Date: August 2013
• Publisher: Springer
• Length: 241 Pages
• Weight: 0.79 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"