did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540204916

Formal Methods for Open Object-Based Distributed Systems

by ; ; ;
  • ISBN13:

    9783540204916

  • ISBN10:

    3540204911

  • Format: Paperback
  • Copyright: 2004-01-01
  • Publisher: Springer Verlag
  • Purchase Benefits
  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $99.99 Save up to $81.43
  • Digital
    $40.22
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, held in Paris, France in November 2003. The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on models, logic and verification, calculi, Java and .NET, UML, and composition and verification.

Table of Contents

Invited Talk
Java's Integral Types in PVS
1(15)
Bart Jacobs
Models
Towards Object-Oriented Graphs and Grammars
16(16)
Ana Paula Ludtke Ferreira and Leila Ribeiro
A Rewriting Based Model for Probabilistic Distributed Object Systems
32(15)
Nirman Kumar, Koushik Sen, Jose Meseguer, and Gul Agha
Engineering the SDL Formal Language Definition
47(17)
Andreas Prinz and Martin v. Lowis
Logic and Verification
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
64(15)
Cees Pierik and Frank S. de Boer
Inheritance of Temporal Logic Properties
79(15)
Heike Wehrheim
Temporal Logic Based Static Analysis for Non-uniform Behaviours
94(15)
Matthias Colin, Xavier Thiriour, and Marc Pantel
Calculi
The Kell Calculus: Operational Semantics and Type System
109(15)
Philippe Bidfinger and Jean-Bernard Stefani
A Calculus for Long-Running Transactions
124(15)
Laura Bocchi, Cosimo Laneve, and Gianluigi Zavattaro
Formal Analysis of Some Timed Security Properties in Wireless Protocols
139(16)
Roberto Gorrieri, Fabio Martinelli, Marinelle Petrocchi, and Anna Vaccarelli
Java and .NET
Inductive Proof Outlines for Monitors in Java
155(15)
Erika Abraham, Frank S. de Boer, Willem-Paul de Rogiver, and Martin Steffen
Proof Scores in the OTS/CafeOBJ Method
170(15)
Kazuhiro Ogata and Kokichi Futatsugi
Managing the Evolution of .NET Programs
185(14)
Susan Eisenbach, Vladimir Jurisic, and Chris Sadler
UML
On Mobility Extensions of UML Statecharts. A Pragmatic Approach
199(15)
Diego Latella and Mieke Massfink
New Operators for the TURTLE Real-Time UML Profile
214(15)
Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, and Jean-Pierre Courtiat
Checking Consistency in UML Diagrams: Classes and State Machines
229(15)
Holger Rasch and Heike Wehrheim
Composition and Verification
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components
244(17)
Frederic Tronel, Frederic Lang, and Hubert Garavel
Verification of Distributed Object-Based Systems
261(15)
Fernando L. Dotti, Luciana Foss, Leila Ribeiro, and Osmar M. dos Santos
Design and Verification of Distributed Multi-media Systems
276(17)
David Akehurst, John Derrick, and A. Gill Waters
Author Index 293

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program