Formal Methods for Open Object-Based Distributed Systems
Subtitle: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science)
Contributors: Marcello M. Bonsangue (Editor); Einar Broch Johnsen (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 11, 2007
Language: eng
Format: Paperback
Number of pages: 317
ISBN-13: 9783540729198
Subjects: Programming languages; Distributed Computer Systems; Computers; Computers - Communications / Networking; Computer Books: Languages; Networking - General; Programming - Software Development; Programming Languages - General; Computers / Networking / General; UML; algorithmic skeleton; component-based systems; constraint automata; distributed computing; distributed systems; formal methods; model checking; model-based design; Client-Server Computing - General; Programming - Object Oriented Programming