Contact
How to shop
Delivery
Shopping guide
Formal Methods for Distributed Processing
A Survey of Object-Oriented Approaches
English
162 b
Up to 30 days for returns
Customers also purchased
/
Paperback
5.23
€
10.22 лв
/
Paperback
83.96
€
164.20 лв
/
Paperback
32.73
€
64.01 лв
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.
About the book
English
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
8.33
€
16.30 лв
/
Paperback
39.26
€
76.78 лв
/
Paperback
50.55
€
98.86 лв
Hi! I'm Libroamiko, your book advisor.
How can I help you?