Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools,
暫譯: 可靠軟體工程：理論、工具與應用，第十一屆國際可靠軟體工程研討會
Goharshady, Amir, Haase, Christoph
相關主題
商品描述
This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1-3, 2025.
The 18 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in the following topical sections: Invited Contribution; Software Quality and System Design; Logic and Theorem Proving; Automata; Monitoring; Formal Verification; Neural Networks and Large Language Models; Blockchains and Distributed Protocols.
商品描述(中文翻譯)
本書為第十一屆國際可靠軟體工程研討會（SETTA 2025）的經過審核的會議論文集，該會議於2025年12月1日至3日在英國牛津舉行。
本卷中所呈現的18篇完整論文和1篇邀請論文，均經過仔細審核並從46篇投稿中選出。這些論文依以下主題區分：邀請貢獻；軟體品質與系統設計；邏輯與定理證明；自動機；監控；形式驗證；神經網路與大型語言模型；區塊鏈與分散式協議。
