Verified Software. Theories, Tools and Experiments: 15th International Conference, Vstte 2023, Ames, Ia, Usa, October 23-24, 2023, Revised Selected Pa
Reynolds, Andrew, Tasiran, Serdar
- 出版商: Springer
- 出版日期: 2024-07-27
- 售價: $2,380
- 貴賓價: 9.5 折 $2,261
- 語言: 英文
- 頁數: 109
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031660633
- ISBN-13: 9783031660634
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.
The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.
商品描述(中文翻譯)
本書是第十五屆國際驗證軟體會議（VSTTE 2023）的經過審核的會議論文集，會議於2023年10月23日至24日在美國愛荷華州艾姆斯舉行。
本卷中呈現的六篇完整論文經過仔細審核和選擇，來自13篇投稿。這些論文專注於需求建模、規範語言、軟體設計方法、自動程式碼生成、精煉方法論等主題。
