Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2008

Formal Methods for Open Object-Based Distributed Systems

10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Editors:

  1. Gilles Barthe
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Frank S. Boer
    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 5051)

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

Conference series link(s): FMOODS: International Conference on Formal Methods for Open Object-Based Distributed Systems

Conference proceedings info: FMOODS 2008.

Sections

Buy it now

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

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

Table of contents (15 papers)

  1. Front Matter

    PDF

  2. Formal Methods for Open Object-Based Distributed Systems

    2. Accepted Papers

      1. Termination Analysis of Java Bytecode
        • Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini
        Pages 2-18
      2. Sessions and Pipelines for Structured Service Programming
        • Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
        Pages 19-38
      3. Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
        • Rohit Chadha, Carl A. Gunter, Jose Meseguer, Ravinder Shankesi, Mahesh Viswanathan
        Pages 39-58
      4. Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
        • Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco T. Vasconcelos
        Pages 59-77
      5. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
        • John Derrick, Gerhard Schellhorn, Heike Wehrheim
        Pages 78-95
      6. Symbolic Step Encodings for Object Based Communicating State Machines
        • Jori Dubrovin, Tommi Junttila, Keijo Heljanko
        Pages 96-112
      7. Modeling and Model Checking Software Product Lines
        • Alexander Gruler, Martin Leucker, Kathrin Scheidemann
        Pages 113-131
      8. Semantic Foundations and Inference of Non-null Annotations
        • Laurent Hubert, Thomas Jensen, David Pichardie
        Pages 132-149
      10. A Minimal Set of Refactoring Rules for Object-Z
        • Tim McComb, Graeme Smith
        Pages 170-184
      11. Formal Modeling of a Generic Middleware to Ensure Invariant Properties
        • Xavier Renault, Jérôme Hugues, Fabrice Kordon
        Pages 185-200
      12. CoBoxes: Unifying Active Objects and Structured Heaps
        • Jan Schäfer, Arnd Poetzsch-Heffter
        Pages 201-219
      13. VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
        • Jan Smans, Bart Jacobs, Frank Piessens
        Pages 220-239

  3. Back Matter

    PDF
Back to top

Other Volumes

  1. Formal Methods for Open Object-Based Distributed Systems

Back to top

About this book

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation