Get Free Shipping on orders over $79
Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches - No Information Available

Formal Methods for Distributed Processing

A Survey of Object-Oriented Approaches

By: No Information Available

Hardcover | 23 May 2002

At a Glance

Hardcover


RRP $269.95

$234.75

13%OFF

or 4 interest-free payments of $58.69 with

 or 

Ships in 5 to 7 business days

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

Other Editions and Formats

Paperback

Published: 21st July 2011

More in Computer Programming & Software Development

Game AI Uncovered Focus : Character AI - Paul Roberts
Game AI Uncovered Focus : Character AI - Paul Roberts
Python & AI For Dummies - John C. Shovic

RRP $57.95

$44.75

23%
OFF
MacBook Neo For Dummies - Mark L. Chambers

RRP $41.95

$33.75

20%
OFF
Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page
Introduction to Programming Languages - Gordon Hurley
The Practical Guide : The Practical Guide - Kerem Koseoglu
The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$75.75

29%
OFF
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
Computer Systems 3ed : A Programmer's Perspective, Global Edition - David O'Hallaron
Videogame Architecture : Building Virtual Spaces - Luke Caspar Pearson

RRP $100.00

$70.99

29%
OFF
Coding For Kids For Dummies : For Kids for Dummies - Camille McCue
The C4 Model : Visualizing Software Architecture - Simon Brown

RRP $114.00

$55.75

51%
OFF
Computer Coding Python Games for Kids : DK Help Your Kids With - Carol Vorderman