Book Details

Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)

Publication year: 2006

: 978-3-540-34895-5

:


This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.


: Computer Science, Monitor, UML, automata, distributed computing, distributed systems, formal method, formal methods, formal specification, model-driven architectures, modeling, object systems, object-oriented programming, open systems, security, semantics