TY - BOOK ID - 46280235 TI - Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures AU - Bowen, Jonathan P. AU - Liu, Zhiming. AU - Zhang, Zili. PY - 2019 SN - 3030176010 3030176002 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Software engineering. KW - Computer Communication Networks. KW - Computer software. KW - Logic design. KW - Computer science. KW - Artificial intelligence. KW - Software Engineering. KW - Algorithm Analysis and Problem Complexity. KW - Logics and Meanings of Programs. KW - Mathematical Logic and Formal Languages. KW - Artificial Intelligence. KW - Computer software engineering KW - Engineering KW - Software, Computer KW - Computer systems KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Informatics KW - Science KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Software engineering KW - Computer software KW - Computer security KW - Computer communication systems. KW - Algorithms. KW - Computer logic. KW - Mathematical logic. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Algorism KW - Algebra KW - Arithmetic KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Network computers KW - Foundations KW - Distributed processing UR - https://www.unicat.be/uniCat?func=search&query=sysid:46280235 AB - This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China. The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Büchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software. ER -