TY - BOOK ID - 7541690 TI - Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures AU - Liu, Zhiming. AU - Zhang, Zili. PY - 2016 SN - 3319296272 3319296280 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer Science KW - Engineering & Applied Sciences KW - Computer science. KW - Special purpose computers. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Computer simulation. KW - Computer Science. KW - Software Engineering. KW - Logics and Meanings of Programs. KW - Programming Languages, Compilers, Interpreters. KW - Simulation and Modeling. KW - Special Purpose and Application-Based Systems. KW - Computer modeling KW - Computer models KW - Modeling, Computer KW - Models, Computer KW - Simulation, Computer KW - Electromechanical analogies KW - Mathematical models KW - Simulation methods KW - Model-integrated computing KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computer software engineering KW - Engineering KW - Special purpose computers KW - Computers KW - Informatics KW - Science KW - Logic design. 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 - Software engineering UR - https://www.unicat.be/uniCat?func=search&query=sysid:7541690 AB - The courses of SETSS 2014 aim to improve the understanding of the relation between theory and practice in software engineering, to contribute to narrowing the gap between them. This volume contains the lecture notes of the five courses and materials of one seminar. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra. ER -