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

, by
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches by Edited by Howard Bowman , John Derrick, 9780521168755
Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
  • ISBN: 9780521168755 | 0521168759
  • Cover: Paperback
  • Copyright: 7/21/2011

  • Rent

    (Recommended)

    $40.87
     
    Term
    Due
    Price
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.
  • Buy New

    Special Order: 1-2 Weeks

    $62.05

This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme is how to formally handle the new requirements arising from OO distributed systems. The major specification notations and modeling techniques are introduced and compared by leading researchers, in several cases, the inventors of the notations. The book also describes approaches to the specification of nonfunctional requirements, needed typically in the specification of multimedia systems and security issues. Professionals in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships among the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.
Loading Icon

Please wait while the item is added to your bag...
Continue Shopping Button
Checkout Button
Loading Icon
Continue Shopping Button