Formal Methods for Open Object-Based Distributed Systems
Subtitle: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science)
Contributors: Roberto Gorrieri (Editor); Heike Wehrheim (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 26, 2006
Language: eng
Format: Paperback
Number of pages: 267
ISBN-13: 9783540348931
Subjects: Computing and Information Technology; Programming - General; Computers - Languages / Programming; Computers; Computer Books: General; Programming - Object Oriented Programming; Networking - General; Operating Systems - General; Computers / Networking / General; UML; component-based systems; distributed computing; distributed systems; formal methods; model-based design; model-driven architectures; object systems; object-oriented programming; open systems; service-oriented computing