Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures (Paperback, Edition.)
Loot Price: R1,631
Discovery Miles 16 310
|
|
Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures (Paperback, Edition.)
Series: Programming and Software Engineering, 6659
Expected to ship within 10 - 15 working days
|
This book presents 15 tutorial lectures by leading researchers
given at the 11th edition of the International School on Formal
Methods for the Design of Computer, Communication and Software
Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011
was devoted to formal methods for eternal networked software
systems and covered several topics including formal foundations for
the inter-operability of software systems, application-layer and
middleware-layer dynamic connector synthesis, interaction behavior
monitoring and learning, and quality assurance of connected
systems. The school was held in collaboration with the researchers
of the EU-funded projects CONNECT and ETERNALS. The papers are
organized into six parts: (i) architecture and interoperability,
(ii) formal foundations for connectors, (iii) connector synthesis,
(iv) learning and monitoring, (v) dependability assurance, and (vi)
trustworthy eternal systems via evolving software.
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.