Skip to main content
SpringerLink
Log in
Book cover

Formal Methods for Components and Objects

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

  • Book
  • © 2013

Overview

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)

Included in the following conference series:

Conference proceedings info: FMCO 2012.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 chapters)

  1. Front Matter

    Download chapter PDF

  2. The Abstract Behavioral Specification Language: A Tutorial Introduction

    • Reiner Hähnle
    Pages 1-37

  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

  6. Separating Cost and Capacity for Load Balancing in ABS Deployment Models

    • Einar Broch Johnsen
    Pages 145-167

  7. Composing Distributed Systems: Overcoming the Interoperability Challenge

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

  8. Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract

    • Olga Gadyatskaya, Fabio Massacci
    Pages 197-215

  9. Formal Aspects of Free and Open Source Software Components

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

  10. Back Matter

    Download chapter PDF
Back to top

Keywords

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.

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

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

Publish with us

Policies and ethics

Back to top

Search

Navigation