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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!