04822nam 22007935 450 991073943630332120251226202809.03-642-35860-810.1007/978-3-642-35861-6(CKB)3400000000125710(SSID)ssj0000880006(PQKBManifestationID)11559376(PQKBTitleCode)TC0000880006(PQKBWorkID)10872158(PQKB)11115613(DE-He213)978-3-642-35861-6(MiAaPQ)EBC3070023(PPN)168329441(EXLCZ)99340000000012571020130125d2013 u| 0engurnn|008mamaatxtccrFormal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers /edited by Corina S Pasareanu, Gwen Salaün1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (X, 277 p. 72 illus.) Programming and Software Engineering,2945-9168 ;7684Includes author index.3-642-35861-6 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.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.Programming and Software Engineering,2945-9168 ;7684Software engineeringMachine theoryComputer scienceCompilers (Computer programs)Computer programmingElectronic data processingManagementSoftware EngineeringFormal Languages and Automata TheoryComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersProgramming TechniquesIT OperationsSoftware engineering.Machine theory.Computer science.Compilers (Computer programs).Computer programming.Electronic data processingManagement.Software Engineering.Formal Languages and Automata Theory.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.Programming Techniques.IT Operations.005.1Pasareanu Corina S905882Salaun G(Gwen)1753939MiAaPQMiAaPQMiAaPQBOOK9910739436303321Formal aspects of component software4190012UNINA