TY - BOOK ID - 7691088 TI - Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings AU - Li, Xuandong. AU - Liu, Zhiming. AU - Yi, Wang. PY - 2015 SN - 3319259415 3319259423 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer Science KW - Engineering & Applied Sciences KW - Computer science. KW - Software engineering. KW - Computer logic. KW - Mathematical logic. KW - Computer simulation. KW - Computer Science. KW - Software Engineering. KW - Logics and Meanings of Programs. KW - Simulation and Modeling. KW - Mathematical Logic and Formal Languages. 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 - 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 - Computer software engineering KW - Engineering 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 UR - https://www.unicat.be/uniCat?func=search&query=sysid:7691088 AB - This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies. ER -