- Hardcover: 490 pages
- Publisher: Cambridge University Press (22 Oct 2001)
- Language English
- ISBN-10: 0521771846
- ISBN-13: 978-0521771849
- Product Dimensions: 26.3 x 18.5 x 3 cm
- Amazon Bestsellers Rank: 5,284,294 in Books (See Top 100 in Books)
- See Complete Table of Contents
Formal Methods for Distributed Processing
and over 900,000 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? Visit the Amazon.co.uk Trade-In Store for more details. |
Product details |
Product Description
Product Description
Originally published in 2001, 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 2001 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)
First Sentence
No one can doubt the importance of distributed systems these days, but they do pose a particular challenge to the developers of formal methods: they involve, by their nature, a high degree of independence between components and have dynamically changing structures, the evolution of which needs to be captured in any formal specification. Read the first page
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
No one can doubt the importance of distributed systems these days, but they do pose a particular challenge to the developers of formal methods: they involve, by their nature, a high degree of independence between components and have dynamically changing structures, the evolution of which needs to be captured in any formal specification. Read the first page
Explore More
Concordance
Browse Sample PagesConcordance
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
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
|
There are no customer reviews yet on Amazon U.K.
|
||||||||||||||||||||
|
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.
|
