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

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

Table of contents

  1. Front Matter
  2. Marko van Dooren, Dave Clarke, Bart Jacobs
    Pages 38-82
  3. Ilham W. Kurnia, Arnd Poetzsch-Heffter
    Pages 83-118
  4. Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim et al.
    Pages 119-144
  5. Valérie Issarny, Amel Bennaceur
    Pages 168-196
  6. Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
    Pages 216-239
  7. Back Matter

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