Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, Setta 2015, Nanjing, China, November 4-6, 2015, Pro 2015 Edition Contributor(s): Li, Xuandong (Editor), Liu, Zhiming (Editor), Yi, Wang (Editor) |
|
ISBN: 3319259415 ISBN-13: 9783319259413 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: October 2015 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Programming - General - Computers | Computer Simulation |
Dewey: 003.3 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.71" H x 6.14" W x 9.21" (1.05 lbs) 317 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |