Formal Methods for Components and Objects

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

  • Bernhard Beckert
  • Ferruccio Damiani
  • Frank S. de Boer
  • Marcello M. Bonsangue

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

Table of contents

  1. Front Matter
  2. The ASCENS Project

    1. Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli
      Pages 1-24
    2. Rocco De Nicola, Gianluigi Ferrari, Michele Loreti, Rosario Pugliese
      Pages 25-48
    3. Roberto Bruni, Hernán Melgratti, Ugo Montanari
      Pages 49-68
  3. The EternalS Coordination Action

    1. Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen
      Pages 69-88
    2. Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
      Pages 89-108
    3. Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer et al.
      Pages 109-132
    4. Amel Bennaceur, Valérie Issarny, Richard Johansson, Alessandro Moschitti, Romina Spalazzese, Daniel Sykes
      Pages 133-149
    5. Matthias Gander, Basel Katt, Michael Felderer, Ruth Breu
      Pages 150-168
    6. Basel Katt, Matthias Gander, Ruth Breu, Michael Felderer
      Pages 169-183
    7. Leigh Griffin, Peter Elger, Eamonn de Leastar
      Pages 184-198
  4. The ParaPhrase Project

    1. Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini
      Pages 199-217
    2. Kevin Hammond, Marco Aldinucci, Christopher Brown, Francesco Cesarini, Marco Danelutto, Horacio González-Vélez et al.
      Pages 218-236
    3. Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schöner, Tino Breddin
      Pages 237-256
    4. Marco Aldinucci, Sonia Campa, Peter Kilpatrick, Fabio Tordini, Massimo Torquati
      Pages 257-276
  5. The PRO3D Project

    1. Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza, Éric Flamand et al.
      Pages 277-293
    2. Lars Schor, Hoeseok Yang, Iuliana Bacivarov, Lothar Thiele
      Pages 294-313
    3. Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis
      Pages 314-333
    4. Sylvain Durand, Suzanne Lesecq, Edith Beigné, Christian Fabre, Lionel Vincent, Diego Puschini
      Pages 334-353
  6. Back Matter

About this book

Introduction

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.

This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems.

Keywords

Web application distributed systems machine learning model checking software verification

Editors and affiliations

  • Bernhard Beckert
    • 1
  • Ferruccio Damiani
    • 2
  • Frank S. de Boer
    • 3
  • Marcello M. Bonsangue
    • 4
  1. 1.Institute for Theoretical InformaticsKarlsruhe Institute of Technology (KIT)KarlsruheGermany
  2. 2.Department of Computer ScienceUniversity of TorinoTorinoItaly
  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-35887-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35886-9
  • Online ISBN 978-3-642-35887-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book