LEADER 05773nam 22008175 450 001 996466035803316 005 20220920184824.0 010 $a3-642-35743-1 024 7 $a10.1007/978-3-642-35743-5 035 $a(CKB)3400000000102954 035 $a(SSID)ssj0000880005 035 $a(PQKBManifestationID)11466212 035 $a(PQKBTitleCode)TC0000880005 035 $a(PQKBWorkID)10872127 035 $a(PQKB)11259421 035 $a(DE-He213)978-3-642-35743-5 035 $a(MiAaPQ)EBC3068787 035 $a(PPN)168329263 035 $a(EXLCZ)993400000000102954 100 $a20121214d2012 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Aspects of Component Software$b[electronic resource] $e8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /$fedited by Farhad Arbab, Peter Csaba Ölveczky 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (X, 369 p. 131 illus.) 225 1 $aProgramming and Software Engineering ;$v7253 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-35742-3 320 $aIncludes bibliographical references and index. 327 $aTaming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A Denotational Model for Component-Based Risk Analysis -- Synthesis of Hierarchical Systems -- A Modal Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles in Maude -- Interactive Transformations from Object-Oriented Models to Component-Based Models -- Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components -- Timed Conformance Testing for Orchestrated Service Discovery -- Realizability of Choreographies for Services Interacting Asynchronously -- Networks of Real-Time Actors: Schedulability Analysis and Coordination -- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios -- The Logic of XACML -- A Proof Assistant Based Formalization of MDE Components -- Controlling an Iteration-Wise Coherence in Dataflow -- Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation -- Verifying Safety of Fault-Tolerant Distributed Components -- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques -- Biographical Modelling of Architectural Patterns -- Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines -- Verifying Temporal Properties of Use-Cases in Natural Language. 330 $aThis book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. They cover the topics of formal models for software components and their interaction, design and verification methods for software components and services, formal methods and modeling languages for components and services, industrial or experience reports, and case studies, autonomic components and self-managed applications, models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services, formal and rigorous approaches to software adaptation and self-adaptive systems, and components for real-time, safety-critical, secure, and/or embedded systems. 410 0$aProgramming and Software Engineering ;$v7253 606 $aSoftware engineering 606 $aMathematical logic 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aManagement information systems 606 $aComputer science 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 608 $aConference proceedings.$2fast 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aManagement of Computing and Information Systems. 676 $a004.01/51 702 $aArbab$b Farhad$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aÖlveczky$b Peter Csaba$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Formal Aspects of Component Software 906 $aBOOK 912 $a996466035803316 996 $aFormal Aspects of Component Software$92568048 997 $aUNISA