TY - BOOK ID - 15806939 TI - Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures AU - Bowen, Jonathan P. AU - Liu, Zhiming. AU - Zhang, Zili. PY - 2017 SN - 331956840X 3319568418 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer science. KW - Computer system failures. KW - Computer programming. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Computers. KW - Computer Science. KW - Software Engineering. KW - Programming Techniques. KW - Programming Languages, Compilers, Interpreters. KW - The Computing Profession. KW - Logics and Meanings of Programs. KW - System Performance and Evaluation. 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 science logic KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Computers KW - Electronic computer programming KW - Electronic data processing KW - Electronic digital computers KW - Programming (Electronic computers) KW - Computer failures KW - Computer malfunctions KW - Computer systems KW - Failure of computer systems KW - Informatics KW - Computer software engineering KW - Programming KW - Failures KW - Cybernetics KW - Machine theory KW - Calculators KW - Cyberspace KW - Logic, Symbolic and mathematical KW - Languages, Artificial KW - Coding theory KW - System failures (Engineering) KW - Fault-tolerant computing KW - Science KW - Engineering KW - Computer industry. KW - Logic design. KW - Computer system performance. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Electronic industries KW - Software engineering UR - https://www.unicat.be/uniCat?func=search&query=sysid:15806939 AB - This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 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 courses and two seminars on topics such as modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. 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 -