Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (Lecture Notes in Computer Science)
- 出版商: Springer
- 出版日期: 2017-10-17
- 售價: $2,310
- 貴賓價: 9.5 折 $2,195
- 語言: 英文
- 頁數: 372
- 裝訂: Paperback
- ISBN: 3319694820
- ISBN-13: 9783319694825
-
相關分類:
Computer-Science、軟體工程
海外代購書籍(需單獨結帳)
商品描述
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October
2017.
The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.
商品描述(中文翻譯)
這本書是第三屆可靠軟體工程國際研討會（SETTA 2017）的論文集，該研討會於2017年10月在中國長沙舉行。共有19篇全文論文和3個邀請演講被仔細審查並從31份投稿中選出。該研討會旨在匯集國際軟體技術領域的研究人員和從業人員。其重點是概率和統計分析、定時和混合系統、程式分析、建模和驗證、形式化以及工具。
