Formal Aspects of Component Software

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.

• Format: Paperback
• Language: English
• ISBN: 3642358608
• ISBN13: 9783642358609
• Release Date: January 2013
• Publisher: Springer
• Length: 277 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"