Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
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 bo...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
Σειρά: | Lecture Notes in Computer Science,
7866 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.