TY  - BOOK
AU  - Giachino,Elena
AU  - Hähnle,Reiner
AU  - Boer,Frank S.de
AU  - Bonsangue,Marcello M.
ED  - SpringerLink (Online service)
TI  - Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures 
T2  - Lecture Notes in Computer Science,
SN  - 9783642406157
AV  - QA76.758 
U1  - 005.1 23
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Software engineering
KW  - Computer logic
KW  - Mathematical logic
KW  - Computer Science
KW  - Software Engineering
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
N1  - 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
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-40615-7
ER  -