LEADER 03326nam  22006015  450 
001 996418207903316
005 20200704115542.0
010   $a3-030-40914-7
024 7 $a10.1007/978-3-030-40914-2
035   $a(CKB)4100000010480270
035   $a(DE-He213)978-3-030-40914-2
035   $a(MiAaPQ)EBC6112408
035   $a(PPN)242979173
035   $a(EXLCZ)994100000010480270
100   $a20200212d2020      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] $e16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23?25, 2019, Proceedings /$fedited by Farhad Arbab, Sung-Shik Jongmans
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (X, 261 p. 886 illus., 23 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v12018
311   $a3-030-40913-9 
327   $aFormal Logic -- Formal Methods -- Programming Languages -- Semantics -- Software Engineering -- Specifications -- Theorem Proving.
330   $aThis book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019. The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions. FACS 2019 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 ;$v12018
606   $aSoftware engineering
606   $aComputers
606   $aMathematical logic
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aInformation Systems and Communication Service$3https://scigraph.springernature.com/ontologies/product-market-codes/I18008
615  0$aSoftware engineering.
615  0$aComputers.
615  0$aMathematical logic.
615 14$aSoftware Engineering.
615 24$aTheory of Computation.
615 24$aMathematical Logic and Foundations.
615 24$aInformation Systems and Communication Service.
676   $a004.0151
702   $aArbab$b Farhad$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJongmans$b Sung-Shik$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996418207903316
996   $aFormal Aspects of Component Software$92005329
997   $aUNISA