LEADER 06014nam 22008895 450 001 9910484995403321 005 20201107181702.0 010 $a3-319-15317-X 024 7 $a10.1007/978-3-319-15317-9 035 $a(CKB)2560000000326195 035 $a(Springer)9783319153179 035 $a(MH)014293531-X 035 $a(SSID)ssj0001424480 035 $a(PQKBManifestationID)11832253 035 $a(PQKBTitleCode)TC0001424480 035 $a(PQKBWorkID)11369441 035 $a(PQKB)11553635 035 $a(DE-He213)978-3-319-15317-9 035 $a(MiAaPQ)EBC6283950 035 $a(MiAaPQ)EBC5587184 035 $a(Au-PeEL)EBL5587184 035 $a(OCoLC)902725752 035 $a(PPN)183520092 035 $a(EXLCZ)992560000000326195 100 $a20150129d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Aspects of Component Software $e11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /$fedited by Ivan Lanese, Eric Madelaine 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (X, 385 p. 132 illus.)$conline resource 225 1 $aProgramming and Software Engineering ;$v8997 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-15316-1 327 $aComponents as Location Graphs -- A Formal Approach to Autonomic Systems Programming: The SCEL Language -- Compositional Approaches -- Verified Service Compositions by Template-Based Construction -- Compositional Verification of Asynchronously Communicating Systems -- Compositional Analysis Using Component-Oriented Interpolation -- Adaptation and Evolution -- Impact Models for Architecture-Based Self-adaptive Systems -- Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime -- Formal Rules for Reliable Component-Based Architecture Evolution -- Application and Experience -- Solving Parity Games in Scala -- Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report -- Tools -- From HELENA Ensemble Specifications to Executable Code -- MAccS: A Tool for Reachability by Design -- MPASS: An Efficient Tool for the Analysis of Message-Passing Programs -- Scheduling, Time and Hybrid Systems Widening the Schedulability of Hierarchical Scheduling Systems -- Adding Formal Meanings to AADL with Hybrid Annex -- Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications -- Other Verification Approaches -- Intransitive Non-Interference by Unfolding -- Reduction and Abstraction Techniques for BIP -- Compositionality for Quantitative Specifications -- Safety and Liveness of Composition -- Algorithmic Verification of Procedural Programs in the Presence of Code Variability -- Place-Liveness of ComSA Applications -- Weakness: Verifying Correctness on TSO Architectures. 330 $aThis book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract. 410 0$aProgramming and Software Engineering ;$v8997 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 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 $a005.1 702 $aLanese$b Ivan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMadelaine$b Eric$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484995403321 996 $aFormal Aspects of Component Software$92968343 997 $aUNINA 999 $aThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress