LEADER 04641nam  22008415  450 
001 996466191803316
005 20200705151517.0
010   $a3-662-49224-5
024 7 $a10.1007/978-3-662-49224-6
035   $a(CKB)4340000000001308
035   $a(SSID)ssj0001616897
035   $a(PQKBManifestationID)16347343
035   $a(PQKBTitleCode)TC0001616897
035   $a(PQKBWorkID)14919833
035   $a(PQKB)11587605
035   $a(DE-He213)978-3-662-49224-6
035   $a(MiAaPQ)EBC6281395
035   $a(MiAaPQ)EBC5610655
035   $a(Au-PeEL)EBL5610655
035   $a(OCoLC)1078998190
035   $a(PPN)191705608
035   $a(EXLCZ)994340000000001308
100   $a20160111d2015      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSoftware Engineering and Formal Methods$b[electronic resource] $eSEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers /$fedited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
205   $a1st ed. 2015.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2015.
215   $a1 online resource (XXIX, 325 p. 88 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v9509
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-662-49223-7 
327   $aAutomating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: Systems and Domains -- Art of Service Composition and Formal Verification for Self-* Systems.
330   $aThis book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 papers included in this volume were carefully reviewed and selected from 32 submissions. The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods. The four workshops were: ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation; HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop; MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains; VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.
410  0$aProgramming and Software Engineering ;$v9509
606   $aApplication software
606   $aArtificial intelligence
606   $aAlgorithms
606   $aMathematical statistics
606   $aComputers
606   $aDatabase management
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aProbability and Statistics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17036
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024
615  0$aApplication software.
615  0$aArtificial intelligence.
615  0$aAlgorithms.
615  0$aMathematical statistics.
615  0$aComputers.
615  0$aDatabase management.
615 14$aInformation Systems Applications (incl. Internet).
615 24$aArtificial Intelligence.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aProbability and Statistics in Computer Science.
615 24$aComputation by Abstract Devices.
615 24$aDatabase Management.
676   $a005.1
702   $aBianculli$b Domenico$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCalinescu$b Radu$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRumpe$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466191803316
996   $aSoftware Engineering and Formal Methods$92077897
997   $aUNISA