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

Formal Methods for Open Object-Based Distributed Systems

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Editors:

  1. Marcello M. Bonsangue
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Einar Broch Johnsen
    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 4468)

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 2007.

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 (19 papers)

  1. Front Matter

    PDF

  2. Invited Talks

    1. Asynchronous Session Types and Progress for Object Oriented Languages

      • Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
      Pages 1-31

    2. KeY: A Formal Method for Object-Oriented Systems

      • Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
      Pages 32-43

  3. Model Checking

    3. Analysis of UML Activities Using Dynamic Meta Modeling

      • Gregor Engels, Christian Soltenborn, Heike Wehrheim
      Pages 76-90

  5. Components and Services

    1. Adaptation of Open Component-Based Systems

      • Pascal Poizat, Gwen Salaün
      Pages 141-156

    3. A Formal Language for Electronic Contracts

      • Cristian Prisacariu, Gerardo Schneider
      Pages 174-189

  6. Algebraic Calculi

    1. A Mechanized Model of the Theory of Objects

      • Ludovic Henrio, Florian Kammüller
      Pages 190-205

    2. Pict Correctness Revisited

      • Philippe Bidinger, Adriana Compagnoni
      Pages 206-220

  7. Specification, Verfication and Refinenment

    1. A Refinement Method for Java Programs

      • Holger Grandy, Kurt Stenzel, Wolfgang Reif
      Pages 221-235

    2. Refactoring Object-Oriented Specifications with Data and Processes

      • Thomas Ruhroth, Heike Wehrheim
      Pages 236-251

  8. Quality of Service

    2. A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems

      • Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian
      Pages 285-300

    3. On Resource-Sensitive Timed Component Connectors

      • Sun Meng, Farhad Arbab
      Pages 301-316
Back to top

Other Volumes

  1. Formal Methods for Open Object-Based Distributed Systems

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