Formal Methods for Open Object-Based Distributed Systems V IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

Formal Methods for Open Object-Based Distributed Systems V IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands / edited by Bart Jacobs, Arend Rensink.

Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology. Such a convergence is representative of recent advances in the field of distributed systems, and provides links bet...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Jacobs, Bart (Editor), Rensink, Arend (Editor)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 2002.
Edition:1st ed. 2002.
Series:IFIP Advances in Information and Communication Technology, 81
Springer eBook Collection.
Subjects:
Computers.
Medicine.
Programming languages (Electronic computers).
Microprocessors.
Artificial intelligence.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Software Model Checking: The Bandera approach
  • Verifying Authentication Protocol Implementations
  • A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services
  • Formal Semantics for Interacting UML Subsystems
  • A Compositional Formalism for Object Viewpoints
  • Interpreting ODP Viewpoint Specification: Observations from a Case Study
  • Checking Behavioural Subtypes via Refinement
  • Behavioural Subtyping and Property Preservation for Active Objects
  • A Formal Service Specification for HOP Based on ISO/IEC 14752
  • Mobile Objects “Must” Move Safely
  • A Theory of May Testing for Actors
  • Computer-Aided Specification and Verification of Annotated Object-Oriented Programs
  • Foinial Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm
  • Control Flow Analysis of Mobile Ambients with Security Boundaries
  • Generating Adapters for Concurrent Component Protocol Synchronisation
  • A Feature Manager Approach to the Analysis of Component-Interactions
  • Supporting Collaborative Design
  • A Visual Modeling Framework for Distributed Object Computing
  • Author Index.

Similar Items