Skip to main content
SpringerLink
Log in
Book cover

Formal Methods for Components and Objects

6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. 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

  2. Marcello M. Bonsangue

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Susanne Graf

    1. VERIMAG, Grenoble-Gières, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Willem-Paul Roever

    1. Institute of Computer Science and Applied Mathematics, Christian-Albrechts University, Kiel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: FMCO 2007.

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 54.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 (12 papers)

  1. Front Matter

    Download chapter PDF

  2. The MOBIUS Project

    1. The MOBIUS Proof Carrying Code Infrastructure

      • Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie
      Pages 1-24

    2. Certification Using the Mobius Base Logic

      • Lennart Beringer, Martin Hofmann, Mariela Pavlova
      Pages 25-51

    3. Safety Guarantees from Explicit Resource Management

      • David Aspinall, Patrick Maier, Ian Stark
      Pages 52-71

    4. Universe Types for Topology and Encapsulation

      • Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers
      Pages 72-112

    5. COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode

      • Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini
      Pages 113-132

  3. The GridCOMP Project

    1. Active Objects and Distributed Components: Theory and Implementation

      • Denis Caromel, Ludovic Henrio, Eric Madelaine
      Pages 133-152

  4. The SELFMAN Project

    1. Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project

      • Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland Yap, Thierry Coupaye
      Pages 153-178

  5. The ARTIST Project

    1. Causal Semantics for the Algebra of Connectors

      • Simon Bliudze, Joseph Sifakis
      Pages 179-199

    2. Multiple Viewpoint Contract-Based Specification and Design

      • Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis
      Pages 200-225

  6. The CREDO Project

    1. Coordination: Reo, Nets, and Logic

      • Dave Clarke
      Pages 226-256

    2. An Object-Oriented Component Model for Heterogeneous Nets

      • Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas
      Pages 257-279

    3. Coordinating Object Oriented Components Using Data-Flow Networks

      • Mohammad Mahdi Jaghoori
      Pages 280-311

  7. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods for Components and Objects

Keywords

About this book

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

The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components; the IST-FP6 project GridComp and the FP6 CoreGRID Network of Excellence on grid programming with components; the Real-time component cluster of the Network of Excellence on Embedded System Design ARTIST, focussing on design processes, and architectures for real-time embedded systems; and the IST-FP6 project CREDO on modeling and analysis of evolutionary structures for distributed services.

Editors and Affiliations

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

    Frank S. Boer

  • Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands

    Marcello M. Bonsangue

  • VERIMAG, Grenoble-Gières, France

    Susanne Graf

  • Institute of Computer Science and Applied Mathematics, Christian-Albrechts University, Kiel, Germany

    Willem-Paul Roever

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation