Formal Methods for Open Object-Based Distributed Systems V

Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based Di

By: Bart Jacobs, Arend Rensink, International Conference on Formal Metho

Write A Review

Paperback | 31 March 2002

At a Glance

Paperback
292 Pages

Edition Type
Annotated

Dimensions(cm)
24.13 x 15.88 x 2.54

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Object-Oriented Programming or OOP Computer Science Computer Architecture & Logic Design Parallel Processing Medicine Medicine in General Programming & Scripting Languages Artificial Intelligence

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.

Formal Methods for Open Object-Based Distributed Systems V

Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based Di

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Architecture & Logic Design

IPv6 Fundamentals

Packet and Data Structures, Addressing Architecture, Device Discovery, and Configuration Protocols

IPv6 Fundamentals

Packet and Data Structures, Addressing Architecture, Device Discovery, and Configuration Protocols

Quantum Ready

The Enterprise Guide to Post-Quantum Cryptographic Readiness

Quantum Ready

The Enterprise Guide to Post-Quantum Cryptographic Readiness

Parallel Computing

Design and Analysis of Algorithms

Computer Architecture

A Modern Approach

Basic Computer Architecture

Site Reliability Engineering

How Google Runs Production Systems

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Fundamentals of Software Architecture

A Modern Engineering Approach

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Platform Engineering

A Guide for Technical, Product, and People Leaders

Developing Graphics Frameworks with Java and OpenGL

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Simply AI

Facts Made Fast

Rust Atomics and Locks

Low-Level Concurrency in Practice

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Tidy First?

A Personal Exercise in Empirical Software Design

This product is categorised by