Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2013

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Editors:

  1. Elena Giachino

    1. Dept. of Computer Science, University of Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Reiner Hähnle

    1. Dept. of Computer Science, Technical University of Darmstadt, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Frank S. Boer

    1. Centre for Mathematics and Computer Science, CWI, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Marcello M. Bonsangue

    1. Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State of the art research on formal methods for component and object oriented systems
  • Outcome of the International Symposium on formal methods for components and objects
  • Provides a unique combination of ideas on software engineering and formal methods

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7866)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): FMCO: International Symposium on Formal Methods for Components and Objects

Conference proceedings info: FMCO 2012.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (8 chapters)

  1. Front Matter

    PDF

  3. Subobject-Oriented Programming

    • Marko van Dooren, Dave Clarke, Bart Jacobs
    Pages 38-82

  4. Verification of Open Concurrent Object Systems

    • Ilham W. Kurnia, Arnd Poetzsch-Heffter
    Pages 83-118

  5. Automatic Inference of Bounds on Resource Consumption

    • Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim et al.
    Pages 119-144

  7. Composing Distributed Systems: Overcoming the Interoperability Challenge

    • Valérie Issarny, Amel Bennaceur
    Pages 168-196

  9. Formal Aspects of Free and Open Source Software Components

    • Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
    Pages 216-239

  10. Back Matter

    PDF
Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Dept. of Computer Science, University of Bologna, Bologna, Italy

    Elena Giachino

  • Dept. of Computer Science, Technical University of Darmstadt, Darmstadt, Germany

    Reiner Hähnle

  • Centre for Mathematics and Computer Science, CWI, Amsterdam, The Netherlands

    Frank S. Boer

  • Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    Marcello M. Bonsangue

Back to top

Bibliographic Information

  • Book Title: Formal Methods for Components and Objects

  • Book Subtitle: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

  • Editors: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-40615-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2013

  • Softcover ISBN: 978-3-642-40614-0Published: 26 August 2013

  • eBook ISBN: 978-3-642-40615-7Published: 23 August 2013

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 241

  • Number of Illustrations: 125 b/w illustrations

  • Topics: Software Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation