Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures /
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures /
Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.).
- 1 online resource (ix, 241 pages) : illustrations
- Lecture notes in computer science, 7866 0302-9743 ; LNCS sublibrary. SL 2, Programming and software engineering .
- Lecture notes in computer science ; 7866. LNCS sublibrary. SL 2, Programming and software engineering. .
Includes bibliographical references and index.
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 / Reiner Hähnle -- Marko van Dooren, Dave Clarke and Bart Jacobs -- Ilham W. Kurnia and Arnd Poetzsch-Heffter -- Elvira Albert and Diego Esteban Alonso-Blas -- Einar Broch Johnsen -- Valérie Issarny and Amel Bennaceur -- Olga Gadyatskaya and Fabio Massacci -- Roberto Di Cosmo and Ralf Treinen.
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.
9783642406157 3642406157 3642406149 9783642406140
10.1007/978-3-642-40615-7 doi
016496848 Uk
Formal methods (Computer science)--Congresses.
Software engineering--Congresses.
Software
Méthodes formelles (Informatique)--Congrès.
Génie logiciel--Congrès.
Logiciels.
software.
Formal methods (Computer science)
Software engineering
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.9.F67 / F53 2012
004.01/51
QA 76.9.F67
Includes bibliographical references and index.
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 / Reiner Hähnle -- Marko van Dooren, Dave Clarke and Bart Jacobs -- Ilham W. Kurnia and Arnd Poetzsch-Heffter -- Elvira Albert and Diego Esteban Alonso-Blas -- Einar Broch Johnsen -- Valérie Issarny and Amel Bennaceur -- Olga Gadyatskaya and Fabio Massacci -- Roberto Di Cosmo and Ralf Treinen.
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.
9783642406157 3642406157 3642406149 9783642406140
10.1007/978-3-642-40615-7 doi
016496848 Uk
Formal methods (Computer science)--Congresses.
Software engineering--Congresses.
Software
Méthodes formelles (Informatique)--Congrès.
Génie logiciel--Congrès.
Logiciels.
software.
Formal methods (Computer science)
Software engineering
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.9.F67 / F53 2012
004.01/51
QA 76.9.F67