Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA / Edition 1

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA / Edition 1

ISBN-10:
0792379233
ISBN-13:
9780792379232
Pub. Date:
08/31/2000
Publisher:
Springer US

Hardcover

Current price is , Original price is $279.99. You
Select a Purchase Option (2000)
  • purchase options
    $223.99 $279.99 Save 20% Current price is $223.99, Original price is $279.99. You Save 20%.
  • purchase options

Overview

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA / Edition 1

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Papers in this volume focus on the following specific technologies:

  • components;
  • mobile code;
  • Java®;
  • The Unified Modeling Language (UML);
  • refinement of specifications;
  • types and subtyping;
  • temporal and probabilistic systems.
This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

Product Details

ISBN-13: 9780792379232
Publisher: Springer US
Publication date: 08/31/2000
Series: IFIP Advances in Information and Communication Technology , #49
Edition description: 2000
Pages: 422
Product dimensions: 6.10(w) x 9.25(h) x 0.04(d)

Table of Contents

Preface. Part I: Invited Talk. On the Semantics of Java Spaces; N. Busi, et al. Part II: Mobility. Elements of an object-based model for distributed and mobile computation; J.-B. Stefani, et al. Specification of Mobile Code Systems using Graph Grammars; F.L. Dotti, L. Ribeiro. Atomic Failure in Wide-Area Computation; D. Duggan. Part III: Invited Talk. Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems; J. Meseguer. Part IV: Java / UML. Requirements Level Semantics for UML Statecharts; R. Eshuis, R. Wieringa. A Step Toward Automatic Distribution of Java Programs; I. Attali, et al. Using Relationals and Behavioural Semantics in the Verification of Object Models; C. Bolton, J. Davies. Formally Modeling UML and its Evolution: A Holistic Approach; A.T. Álvarez, et al. Part V: Invited Talk. Object-Oriented Programming for Wide-Area Computing; J. Misra. Part VI: Refinement and Subtyping. Behavioural Subtyping and Property Preservation; H. Wehrheim. A Practical Approach to Incremental Specification; C. Lakos, G. Lewis. Refinement of objects and operations in Object-Z; J. Derrick, E. Boiten. Part VII: Invited Talk. E-speak: the Technology for Ubiquitous E-services; A.H. Karp. Part VIII: Time. Behavior Expression and OMDD; Y. Wang. On a Temporal Logic for Object-Based Systems; D. Distefano, et al. Stochastically Enhanced Timed Automata; L. Blair, et al. Part IX: Components. Fail-Stop Components by Pattern Matching; T. Janowski, W.I. Mostowski. A Formal Specification of the CORBAEvent Service; R. Bastide, et al. Components as Processes: An Exercise in Coalgebraic Modeling; L.S. Barbosa.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews