Dependable Software Engineering. Theories, Tools, and Applications
| Author | : Wei Dong |
| Publisher | : Springer Nature |
| Total Pages | : 249 |
| Release | : 2022-12-10 |
| ISBN-10 | : 9783031212130 |
| ISBN-13 | : 3031212134 |
| Rating | : 4/5 (134 Downloads) |
Book Synopsis Dependable Software Engineering. Theories, Tools, and Applications by : Wei Dong
Download or read book Dependable Software Engineering. Theories, Tools, and Applications written by Wei Dong and published by Springer Nature. This book was released on 2022-12-10 with total page 249 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022. The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.