• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Formal Aspects of Component Software: 9th International Symposium, Facs 2012, Mountain View, Ca, Usa, September 11-13, 2012. Revised Selected Papers

Formal Aspects of Component Software: 9th International Symposium, Facs 2012, Mountain View, Ca, Usa, September 11-13, 2012. Revised Selected Papers

Paperback

FictionProgramming

ISBN10: 3642358608
ISBN13: 9783642358609
Publisher: Springer
Published: Jan 9 2013
Pages: 277
Weight: 0.90
Height: 0.60 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Fiction