Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Howard Bowman, John DerrickBooks.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Synopsis
A collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.
Booknews
Bowman and Derrick (computing laboratory, U. of Kent at Canterbury) present this volume on the current state of the art in the application of formal methods to object-based distributed systems. Thirty-five international specialists contribute twenty chapters covering modern object-oriented (OO) distributed systems; major specification notations and modelling techniques; the specification of systems involving dynamic reconfiguration; the role and use of subtyping; concurrent OO languages and reflection; the specification of nonfunctional requirements, typically needed in multimedia systems; and the role of development architectures in distributed systems modelling. For researchers and practitioners in software design, objected-oriented computing, distributed systems, and telecommunications systems. Annotation c. Book News, Inc., Portland, OR (booknews.com)