Formal Methods for Distributed Processing - A Survey of Object-Oriented Approaches (Paperback)

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.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Release date:	July 2011
First published:	2001
Editors:	Howard Bowman • John Derrick
Dimensions:	254 x 178 x 25mm (L x W x T)
Format:	Paperback - Trade
Pages:	492
ISBN-13:	978-0-521-16875-5
Categories:	Books > Computing & IT > Computer programming > Object-oriented programming (OOP)
LSN:	0-521-16875-9
Barcode:	9780521168755

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!