- Paperback: 492 pages
- Publisher: Cambridge University Press; Reissue edition (21 July 2011)
- Language English
- ISBN-10: 0521168759
- ISBN-13: 978-0521168755
- Product Dimensions: 25.4 x 17.8 x 2.5 cm
- See Complete Table of Contents
Formal Methods for Distributed Processing
and over one million other books are available for Amazon Kindle .
Learn more
| ||||||||||||||||||||
Did you know you can trade in your old books for an Amazon.co.uk Gift Card to spend on the things you want? Plus, get an extra £5 Gift Certificate when you trade in books worth £10 or more before June 30, 2012. Visit the Books Trade-In Store for more details. |
Product details |
Product Description
Product Description
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.
Book Description
This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.
Inside This Book
(Learn More)
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organise and find favourite items. |
Customer Reviews
Listmania!
Look for similar items by category
Look for similar items by subject
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
|
