Wei Dong,
Jean-Pierre Talpin
Dependable Software Engineering. Theories, Tools, and Applications
8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
Paperback Engels 2022 9783031212123
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783031212123
Taal:Engels
Bindwijze:paperback
Uitgever:Springer Nature Switzerland
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Verification and Testing for Machine Learning.- Dependable Software Development.- Dependable CPS and concurrent systems.- Theorem Proving and SAT.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan