000 04065nam a22006495i 4500
001 978-3-030-02928-9
003 DE-He213
005 20240730171419.0
007 cr nn 008mamaa
008 181112s2018 sz | s |||| 0|eng d
020 _a9783030029289
_9978-3-030-02928-9
024 7 _a10.1007/978-3-030-02928-9
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aEngineering Trustworthy Software Systems
_h[electronic resource] :
_bThird International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures /
_cedited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang.
250 _a1st ed. 2018.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2018.
300 _aXVII, 219 p. 127 illus., 31 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11174
505 0 _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. .
520 _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. .
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer programming.
_94169
650 0 _aComputer science.
_99832
650 0 _aComputers.
_98172
650 0 _aProfessions.
_984435
650 0 _aElectronic digital computers
_xEvaluation.
_921495
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aProgramming Techniques.
_998477
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aThe Computing Profession.
_984437
650 2 4 _aSystem Performance and Evaluation.
_932047
700 1 _aBowen, Jonathan P.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_998479
700 1 _aLiu, Zhiming.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_998481
700 1 _aZhang, Zili.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_998483
710 2 _aSpringerLink (Online service)
_998485
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030029272
776 0 8 _iPrinted edition:
_z9783030029296
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11174
_998487
856 4 0 _uhttps://doi.org/10.1007/978-3-030-02928-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c87572
_d87572