LEADER 04594nam 22007575 450 001 9910349394003321 005 20200629125924.0 010 $a3-030-02928-X 024 7 $a10.1007/978-3-030-02928-9 035 $a(CKB)4100000007127529 035 $a(DE-He213)978-3-030-02928-9 035 $a(MiAaPQ)EBC6283524 035 $a(PPN)232470596 035 $a(EXLCZ)994100000007127529 100 $a20181112d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEngineering Trustworthy Software Systems $eThird International School, SETSS 2017, Chongqing, China, April 17?22, 2017, Tutorial Lectures /$fedited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XVII, 219 p. 127 illus., 31 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v11174 300 $aIncludes index. 311 $a3-030-02927-1 327 $aA Guide to Rely/Guarantee Thinking -- An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping -- Formalizing Hoare Logic in PVS -- Modeling Concurrency in Dafny -- Software Is Not Soft: Challenges and Approaches to Dynamic Software Update -- Challenges for Formal Semantic Description: Responses from the Main Approaches. . 330 $aThis volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems. . 410 0$aProgramming and Software Engineering ;$v11174 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aComputer logic 606 $aComputers 606 $aComputer system failures 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 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 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aThe Computing Profession$3https://scigraph.springernature.com/ontologies/product-market-codes/I24075 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aComputer logic. 615 0$aComputers. 615 0$aComputer system failures. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aThe Computing Profession. 615 24$aSystem Performance and Evaluation. 676 $a005.1 676 $a005.1 702 $aBowen$b Jonathan P$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLiu$b Zhiming$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZhang$b Zili$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349394003321 996 $aEngineering Trustworthy Software Systems$91889268 997 $aUNINA