TY - BOOK ID - 65313273 TI - Engineering Trustworthy Software Systems : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures AU - Bowen, Jonathan P. AU - Liu, Zhiming. AU - Zhang, Zili. PY - 2020 SN - 3030550893 3030550885 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Software engineering. KW - Computer communication systems. KW - Artificial intelligence. KW - Computer programming. KW - Architecture, Computer. KW - Natural language processing (Computer science). KW - Software Engineering/Programming and Operating Systems. KW - Computer Communication Networks. KW - Artificial Intelligence. KW - Programming Techniques. KW - Computer System Implementation. KW - Natural Language Processing (NLP). KW - NLP (Computer science) KW - Artificial intelligence KW - Electronic data processing KW - Human-computer interaction KW - Semantic computing KW - Architecture, Computer KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory 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 - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers 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 - Computer software engineering KW - Engineering KW - Programming KW - Distributed processing UR - https://www.unicat.be/uniCat?func=search&query=sysid:65313273 AB - This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019. The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapters include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K – A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. ER -