Amazon cover image
Image from Amazon.com

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.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 7866. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Description: 1 online resource (ix, 241 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642406157
  • 3642406157
  • 3642406149
  • 9783642406140
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 004.01/51 23
LOC classification:
  • QA76.9.F67 F53 2012
NLM classification:
  • QA 76.9.F67
Online resources:
Contents:
The Abstract Behavioral Specification Language: A Tutorial Introduction / Reiner Hähnle -- Subobject-Oriented Programming / Marko van Dooren, Dave Clarke and Bart Jacobs -- Verification of Open Concurrent Object Systems / Ilham W. Kurnia and Arnd Poetzsch-Heffter -- Automatic Inference of Bounds on Resource Consumption / Elvira Albert and Diego Esteban Alonso-Blas -- Separating Cost and Capacity for Load Balancing in ABS Deployment Models / Einar Broch Johnsen -- Composing Distributed Systems: Overcoming the Interoperability Challenge / Valérie Issarny and Amel Bennaceur -- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract / Olga Gadyatskaya and Fabio Massacci -- Formal Aspects of Free and Open Source Software Components / Roberto Di Cosmo and Ralf Treinen.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

The Abstract Behavioral Specification Language: A Tutorial Introduction / Reiner Hähnle -- Subobject-Oriented Programming / Marko van Dooren, Dave Clarke and Bart Jacobs -- Verification of Open Concurrent Object Systems / Ilham W. Kurnia and Arnd Poetzsch-Heffter -- Automatic Inference of Bounds on Resource Consumption / Elvira Albert and Diego Esteban Alonso-Blas -- Separating Cost and Capacity for Load Balancing in ABS Deployment Models / Einar Broch Johnsen -- Composing Distributed Systems: Overcoming the Interoperability Challenge / Valérie Issarny and Amel Bennaceur -- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract / Olga Gadyatskaya and Fabio Massacci -- Formal Aspects of Free and Open Source Software Components / Roberto Di Cosmo and Ralf Treinen.

Includes bibliographical references and index.

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.

Powered by Koha