Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13649)
Included in the following conference series:
- SETTA: International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
Conference proceedings info: SETTA 2022.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
- architecting
- architecture verification and validation
- artificial intelligence
- automation
- computational linguistics
- computer hardware
- computer programming
- databases
- distributed computer systems
- education
- embedded systems
- engineering
- formal languages
- linguistics
- mathematics
- matrix algebra
- model checking
- signal processing
- software architecture
- software design
Table of contents (14 papers)
-
Verification and Testing for Machine Learning
-
Dependable CPS and Concurrent Systems
Other volumes
-
Dependable Software Engineering. Theories, Tools, and Applications
Editors and Affiliations
Bibliographic Information
Book Title: Dependable Software Engineering. Theories, Tools, and Applications
Book Subtitle: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
Editors: Wei Dong, Jean-Pierre Talpin
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-21213-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022
Softcover ISBN: 978-3-031-21212-3Published: 11 December 2022
eBook ISBN: 978-3-031-21213-0Published: 10 December 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXII, 235
Number of Illustrations: 17 b/w illustrations, 42 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems