IFIP Advances in Information and Communication Technology

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

Hardcover | 31 March 2002

At a Glance

Hardcover
292 Pages

Edition Type
Annotated

Dimensions(cm)
24.13 x 15.88 x 2.54

Hardcover

$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 $89.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

Other Editions and Formats

Paperback

Published: 21st March 2013

View Product

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.

IFIP Advances in Information and Communication Technology

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

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Artificial Intelligence

Empire of AI

Inside the reckless race for total domination

AI in Legal Tech

How Generative AI Is Transforming Legal Technology and the Practice of Law

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

How to Talk to AI

(And How Not To)

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

God, AI and the End of History

Understanding the Book of Revelation in an Age of Intelligent Machines

Artificial Intelligence for Predictive Healthcare

Towards Personalized Treatment and Disease Prevention

Architected Intelligence

Principles for Building AI-First Organizations and Technologies

AI and Maternal Health

Transformations and Implications

AI and Maternal Health

Transformations and Implications

AI for Gig Workers

Essential Strategies to Transform Your Freelance Career

Algorithmic Foundations of Robotics XVI, Volume 2

Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics

Augmented Intelligence in Systems Engineering and Engineered Systems

The Proceedings of the 2025 Conference on Systems Engineering Research

XR and Metaverse

Proceedings of the 10th International XR-Metaverse Conference 2025, Maastricht, The Netherlands

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10â"12 September 2025

Sixth Congress on Intelligent Systems

CIS 2025, Volume 6

Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers

16th International Workshop, STACOM 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 27, 2025, Revised Selected Papers

Trends in Advanced Unmanned Aerial Systems

Selected Contributions of ICAUAS 2025

Expert Applications and Security

Proceedings of NICE-TEAS 2025, WSG University, Poland, Volume 2

AI for Knowledge Synthesis and Predictions

Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 5

From Data to Dollars

Getting Started with Data Analytics and AI in Startups

Control, Robotics and Sensors

Design, Control and Applications

Thinking AI

How Artificial Intelligence Emulates Human Understanding

This product is categorised by