LEADER 03171nam  2200577 a 450 
001 9910485016403321
005 20200520144314.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   $a20100408d2010      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 00$aAdvanced lectures on software engineering $eLASER summer school 2007/2008 /$fPeter Muller (ed.)
205   $a1st ed. 2010.
210   $aNew York $cSpringer$d2010
215   $a1 online resource (VII, 189 p. 99 illus.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v6029
225 1 $aLNCS sublibrary. SL 2, Programming and software engineering
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$aLecture notes in computer science ;$v6029.
410  0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.
606   $aSoftware engineering
615  0$aSoftware engineering.
676   $a005.1
701   $aMuller$b Peter$0555240
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910485016403321
996   $aAdvanced lectures on software engineering$94202518
997   $aUNINA