Formal methods have been applied successfully to the
verification of medium-sized programs in protocol and hardware
design for some time. However, their application to the development
of large systems requires more emphasis on specification, modeling,
and validation techniques supporting the concepts of reusability
and modifiability, and their implementation in new extensions of
existing programming languages like Java.
This book contains 20 revised papers submitted after the 10th
Symposium on Formal Methods for Components and Objects, FMCO 2011,
which was held in Turin, Italy, in October 2011. Topics covered
include autonomic service-component ensembles; trustworthy eternal
systems via evolving software, data, and knowledge; parallel
patterns for adaptive heterogeneous multicore systems; programming
for future 3D architectures with many cores; formal verification of
object oriented software; and an infrastructure for reliable
computer 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!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
