LEADER 04220nam  22008175  450 
001 996466003603316
005 20200705155540.0
010   $a3-319-28934-9
024 7 $a10.1007/978-3-319-28934-2
035   $a(CKB)3780000000096464
035   $a(SSID)ssj0001616720
035   $a(PQKBManifestationID)16348123
035   $a(PQKBTitleCode)TC0001616720
035   $a(PQKBWorkID)14919850
035   $a(PQKB)10358763
035   $a(DE-He213)978-3-319-28934-2
035   $a(MiAaPQ)EBC5595739
035   $a(PPN)191705632
035   $a(EXLCZ)993780000000096464
100   $a20160128d2016      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Aspects of Component Software$b[electronic resource] $e12th International Conference, FACS 2015, Niterói,  Brazil, October 14-16, 2015, Revised Selected Papers /$fedited by Christiano Braga, Peter Csaba Ölveczky
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (X, 331 p. 118 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v9539
300   $aIncludes index.
311   $a3-319-28933-0 
327   $aQuality of service to withstand faults -- Component-based software development through research on mathematical models for components -- Composition and adaptation -- Rigorous approaches to verification, deployment, testing, and certification.
330   $aThis book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015. The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, component-based software development through research on mathematical models for components, composition and adaptation; rigorous approaches to verification, deployment, testing, and certification.
410  0$aProgramming and Software Engineering ;$v9539
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   $a004.0151
702   $aBraga$b Christiano$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aÖlveczky$b Peter Csaba$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466003603316
996   $aFormal Aspects of Component Software$92005329
997   $aUNISA