Dependable Software Engineering. Theories, Tools, and Applications
Download or Read eBook Dependable Software Engineering. Theories, Tools, and Applications PDF written by Xinyu Feng and published by Springer. This book was released on 2018-08-25 with total page 204 pages. Available in PDF, EPUB and Kindle.
Author | : Xinyu Feng |
Publisher | : Springer |
Total Pages | : 204 |
Release | : 2018-08-25 |
ISBN-10 | : 9783319999333 |
ISBN-13 | : 3319999338 |
Rating | : 4/5 (33 Downloads) |
Book Synopsis Dependable Software Engineering. Theories, Tools, and Applications by : Xinyu Feng
Book excerpt: This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.