Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
No Customer Reviews
Select Format
Select Condition 
Book Overview
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,...
Format:Paperback
Language:English
ISBN:0521168759
ISBN13:9780521168755
Release Date:July 2011
Publisher:Cambridge University Press
Length:492 Pages
Weight:1.86 lbs.
Dimensions:1.0" x 7.0" x 10.0"
Related Subjects
Computer Science Computers Computers & Technology Education & Reference Information Systems Languages & Tools Methodology Networking Networks, Protocols & APIs Object-Oriented Design Object-Oriented Software Design Programming Programming Languages Software Design & Engineering Software Design, Testing & Engineering Software Development Software EngineeringCustomer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
