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. de Boer
  • Marcello M. Bonsangue
Book FMCO 2012

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

Table of contents

  1. Front Matter
    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
    PDF

About this book

Introduction

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.

Keywords

automatic inference complex systems formal methods modeling software components

Editors and affiliations

  • Elena Giachino
    • 1
  • Reiner Hähnle
    • 2
  • Frank S. de Boer
    • 3
  • Marcello M. Bonsangue
    • 4
  1. 1.Dept. of Computer ScienceUniversity of BolognaBolognaItaly
  2. 2.Dept. of Computer ScienceTechnical University of DarmstadtDarmstadtGermany
  3. 3.Centre for Mathematics and Computer ScienceCWIAmsterdamThe Netherlands
  4. 4.Leiden Institute of Advanced Computer Science (LIACS)Leiden UniversityLeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-40615-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40614-0
  • Online ISBN 978-3-642-40615-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering