LEADER 04266nam  22007935  450 
001 996465927803316
005 20201107171236.0
010   $a3-642-25231-1
024 7 $a10.1007/978-3-642-25231-0
035   $a(CKB)3400000000025694
035   $a(SSID)ssj0000609618
035   $a(PQKBManifestationID)11423351
035   $a(PQKBTitleCode)TC0000609618
035   $a(PQKBWorkID)10636155
035   $a(PQKB)11416247
035   $a(DE-He213)978-3-642-25231-0
035   $a(MiAaPQ)EBC3069866
035   $a(PPN)159085667
035   $a(EXLCZ)993400000000025694
100   $a20120202d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aEmpirical Software Engineering and Verification$b[electronic resource] $eInternational Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /$fedited by Bertrand Meyer, Martin Nordio
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (VII, 213 p.) 
225 1 $aProgramming and Software Engineering ;$v7007
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-25230-3 
320   $aIncludes bibliographical references and author index.
327   $aSearch Based Software Engineering: Techniques, Taxonomy, Tutorial -- Replication of Software Engineering Experiments -- A Formal Reference for SCOOP -- On the Integration of Software Testing and Formal Analysis -- Is Branch Coverage a Good Measure of Testing Effectiveness.
330   $aSoftware engineering, is widely recognized as one of today's most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry and academia. The LASER school, held annually since 2004 on Elba Island, Italy, is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. This book contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008, software testing in 2009, and empirical software engineering, in 2010. .
410  0$aProgramming and Software Engineering ;$v7007
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aMathematical logic
606   $aManagement information systems
606   $aComputer science
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
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   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aMathematical logic.
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aMathematical Logic and Formal Languages.
615 24$aManagement of Computing and Information Systems.
676   $a005.1
702   $aMeyer$b Bertrand$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNordio$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465927803316
996   $aEmpirical Software Engineering and Verification$92830134
997   $aUNISA