LEADER 04493nam  22007575  450 
001 996465634103316
005 20200702133712.0
010   $a1-280-38647-9
010   $a9786613564399
010   $a3-642-13010-0
024 7 $a10.1007/978-3-642-13010-6
035   $a(CKB)2670000000028903
035   $a(SSID)ssj0000446232
035   $a(PQKBManifestationID)11315788
035   $a(PQKBTitleCode)TC0000446232
035   $a(PQKBWorkID)10491041
035   $a(PQKB)11659468
035   $a(DE-He213)978-3-642-13010-6
035   $a(MiAaPQ)EBC3065274
035   $a(PPN)149073062
035   $a(EXLCZ)992670000000028903
100   $a20100508d2010      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAdvanced Lectures on Software Engineering$b[electronic resource] $eLASER Summer School 2007/2008 /$fedited by Peter Müller
205   $a1st ed. 2010.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010.
215   $a1 online resource (VII, 189 p. 99 illus.) 
225 1 $aProgramming and Software Engineering ;$v6029
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-13009-7 
320   $aIncludes bibliographical references and index.
327   $aFine-Grain Concurrency -- Compensable Transactions -- SCOOP ? A Contract-Based Concurrent Object-Oriented Programming Model -- Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs -- Fixpoints and Search in PVS -- Multi Core Design for Chip Level Multiprocessing.
330   $aSoftware defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the correctness of a program with respect to its specification. Software verification has seen tremendous progress during the last decade; it continues to be an active research topic and is now also becoming increasingly popular among practitioners. This tutorial contains selected papers from the LASER summer Schools 2007 and 2008, both of which focused on correctness - Applied Software Verification in 2007 and Concurrency and Correctness in 2008. Topics covered include verification of fine-grain concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.
410  0$aProgramming and Software Engineering ;$v6029
606   $aSoftware engineering
606   $aComputer communication systems
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aComputer programming
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
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 Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aSoftware engineering.
615  0$aComputer communication systems.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aComputer programming.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aComputer Communication Networks.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Techniques.
676   $a005.1
702   $aMüller$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465634103316
996   $aAdvanced Lectures on Software Engineering$92830961
997   $aUNISA