TY - BOOK ID - 33239516 TI - Engineering Trustworthy Software Systems : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures AU - Bowen, Jonathan P. AU - Liu, Zhiming. AU - Zhang, Zili. PY - 2018 SN - 303002928X 3030029271 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Software engineering. KW - Computer science. KW - Logic design. KW - Computer industry. KW - Computer system performance. KW - Software Engineering. KW - Programming Languages, Compilers, Interpreters. KW - Programming Techniques. KW - Logics and Meanings of Programs. KW - The Computing Profession. KW - System Performance and Evaluation. KW - Electronic industries KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Informatics KW - Science KW - Computer software engineering KW - Engineering KW - Software engineering KW - Programming languages (Electronic computers). KW - Computer programming. KW - Computer logic. KW - Computers. KW - Computer system failures. KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Cybernetics KW - Calculators KW - Cyberspace KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computers KW - Electronic computer programming KW - Electronic data processing KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Computer failures KW - Computer malfunctions KW - Failure of computer systems KW - System failures (Engineering) KW - Fault-tolerant computing KW - Programming KW - Failures UR - https://www.unicat.be/uniCat?func=search&query=sysid:33239516 AB - This 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. . ER -