LEADER 04629nam 22007575 450 001 996465547803316 005 20200702011331.0 010 $a3-319-68034-X 024 7 $a10.1007/978-3-319-68034-7 035 $a(CKB)4100000000587177 035 $a(DE-He213)978-3-319-68034-7 035 $a(MiAaPQ)EBC6298405 035 $a(MiAaPQ)EBC5578591 035 $a(Au-PeEL)EBL5578591 035 $a(OCoLC)1004958229 035 $a(PPN)204533937 035 $a(EXLCZ)994100000000587177 100 $a20170913d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Aspects of Component Software$b[electronic resource] $e14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /$fedited by José Proença, Markus Lumpe 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (X, 251 p. 58 illus.) 225 1 $aProgramming and Software Engineering ;$v10487 311 $a3-319-68033-1 327 $aComponent-Based Modeling in Mediator -- A Component-oriented Framework for Autonomous Agents -- Coordination of Dynamic Software Components with JavaBIP -- A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Cache -- Guarded Terms for Rewriting Modulo SMT -- On Weighted Configuration Logics -- Compositional Model Checking is Lively -- Safety Analysis of Software Components of a Dialysis Machine Using Model Checking -- TOM: a Model-Based GUI Testing Framework -- Correctness-by-learning of Infinite-state Component-based Sytems -- The Implementation of Object Propositions: the Oprop Verification Tool -- Certification of Workflows in a Component-Based Cloud of High Performance Computing Services -- Fault Localization in Service Compositions -- Correct Composition of Dephased Behavioural Models. 330 $aThis book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. 410 0$aProgramming and Software Engineering ;$v10487 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 606 $aComputer logic 606 $aAlgorithms 606 $aComputers 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 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 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aThe Computing Profession$3https://scigraph.springernature.com/ontologies/product-market-codes/I24075 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aAlgorithms. 615 0$aComputers. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aThe Computing Profession. 676 $a004.0151 702 $aProença$b José$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLumpe$b Markus$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465547803316 996 $aFormal Aspects of Component Software$92568048 997 $aUNISA