{ "item_title" : "Formal Aspects of Component Software", "item_author" : [" Corina S. Pasareanu", "Gwen Salaün "], "item_description" : "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.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/64/235/860/3642358608_b.jpg", "price_data" : { "retail_price" : "72.00", "online_price" : "72.00", "our_price" : "72.00", "club_price" : "72.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details