Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Formal Aspects of Component Software - 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Paperback, 2013 ed.)
Loot Price: R1,990
Discovery Miles 19 900
|
|
Formal Aspects of Component Software - 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Paperback, 2013 ed.)
Series: Lecture Notes in Computer Science, 7684
Expected to ship within 10 - 15 working days
|
This book constitutes the revised selected papers of the 9th
International Symposium on Formal Aspects of Component Software,
FACS 2012, held in Mountain View, CA, USA in September 2012. The 16
full papers presented were carefully reviewed and selected from 40
submissions. They cover topics such as formal models for software
components and their interaction; formal aspects of services,
service oriented architectures, business processes, and cloud
computing; design and verification methods for software components
and services; composition and deployment: models, calculi,
languages; formal methods and modeling languages for components and
services; model based and GUI based testing of components and
services; models for QoS and other extra-functional properties
(e.g., trust, compliance, security) of components and services;
components for real-time, safety-critical, secure, and/or embedded
systems; industrial or experience reports and case studies; update
and reconfiguration of component and service architectures;
component systems evolution and maintenance; autonomic components
and self-managed applications; formal and rigorous approaches to
software adaptation and self-adaptive 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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.