+612 9045 4394
 
CHECKOUT
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 - Bart Jacobs

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

By: Bart Jacobs (Editor), Arend Rensink (Editor)

Hardcover Published: 31st March 2002
ISBN: 9780792376835
Number Of Pages: 284

Share This Book:

Hardcover

RRP $535.99
$370.75
31%
OFF
or 4 easy payments of $92.69 with Learn more
Ships in 7 to 10 business days

Earn 742 Qantas Points
on this Book

Other Available Editions (Hide)

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 between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.
This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.

Preface
Invited presentations
Software Model Checking: The Bandera approach
Verifying Authentication Protocol Implementations
A Semantic Framework for Specifying and Reasoning about Composable Distributed Middelware Services
Multiple Viewpoint Modelling
Formal Semantics for Interacting UML Subsystems
A Compositional Formalism for Object Viewpoints
Interpreting ODP Viewpoint Specification: Observations from a Case Study
Types, Service Types and Subtyping
Checking Behavioural Subtypes via Refinement
Behavioural Suptyping and Property Preservation for Active Objects
A Formal Service Specification for IIOP Based on ISO/IEC 14752
Semantics of Object-Based Programming Languages
Mobile Objects `Must' Move Safely
A Theory of May Testing for Actors
Computer-Aided Specification and Verification of Annotated Object-Oriented Programs
Verification and Validation
Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm
Control Flow Analysis of Mobile Ambients with Security Boundaries
Specification and Analysis Techniques
A Feature Manager Approach to the Analysis of Component-Interactions
Supporting Collaborative Design
A Visual Modeling Framework for Distributed Object Computing
Author Index
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780792376835
ISBN-10: 0792376838
Series: IFIP Advances in Information and Communication Technology
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 284
Published: 31st March 2002
Publisher: Springer
Country of Publication: NL
Dimensions (cm): 23.5 x 15.5  x 2.29
Weight (kg): 0.91
Edition Type: Annotated

Earn 742 Qantas Points
on this Book

Popular Searches