Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches Book PDF, ePub eBook

Join our eBook service for unlimited books & audiobooks. Get a free 7 day subscription! ↓↓↓↓↓


Book Descriptions:
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.

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

From reader reviews:

Larry Swartz:

Spent a free the perfect time to be fun activity to try and do! A lot of people spent their down time with their family, or their particular friends. Usually they carrying out activity like watching television, gonna beach, or picnic inside the park. They actually doing same thing every week. Do you feel it? Do you want to something different to fill your own free time/ holiday? May be reading a book can be option to fill your free time/ holiday. The first thing you ask may be what kinds of reserve that you should read. If you want to test look for book, may be the reserve untitled Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches can be fine book to read. May be it is usually best activity to you.

Ruth Westlund:

The particular book Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches has a lot info on it. So when you read this book you can get a lot of profit. The book was compiled by the very famous author. This articles author makes some research ahead of write this book. This specific book very easy to read you can get the point easily after reading this book.

Christine Mata:

Do you have something that you want such as book? The guide lovers usually prefer to pick book like comic, short story and the biggest some may be novel. Now, why not striving Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches that give your enjoyment preference will be satisfied simply by reading this book. Reading addiction all over the world can be said as the way for people to know world far better then how they react when it comes to the world. It can't be said constantly that reading addiction only for the geeky man or woman but for all of you who wants to possibly be success person. So , for all you who want to start examining as your good habit, you could pick Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches become your personal starter.

Christopher Jorge:

Do you like reading a guide? Confuse to looking for your best book? Or your book seemed to be rare? Why so many problem for the book? But any kind of people feel that they enjoy regarding reading. Some people likes reading through, not only science book but additionally novel and Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches as well as others sources were given information for you. After you know how the fantastic a book, you feel need to read more and more. Science book was created for teacher or maybe students especially. Those guides are helping them to add their knowledge. In additional case, beside science publication, any other book likes Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches to make your spare time more colorful. Many types of book like here.