Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
