Theoretical Aspects of Software Engineering: 19th International Symposium, Tase 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings
暫譯: 軟體工程的理論面向：第19屆國際研討會，Tase 2025，塞浦路斯利馬索爾，2025年7月14-16日，會議錄
Rümmer, Philipp, Wu, Zhilin
相關主題
商品描述
This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14-16, 2025.
The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.
The papers present the latest developments in formal and theoretical software engineering methods and techniques.
They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis.
The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.
The papers present the latest developments in formal and theoretical software engineering methods and techniques.
They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis.
商品描述(中文翻譯)
本書為第19屆國際軟體工程理論方面研討會（TASE 2025）的經過審稿的會議論文集，會議於2025年7月14日至16日在塞浦路斯的利馬索爾舉行。
從66篇投稿中精心挑選了20篇完整論文、1篇短文和2篇邀請論文。
這些論文展示了形式化和理論軟體工程方法及技術的最新發展。
論文被分為幾個主題部分，包括程式驗證；驗證與併發；SAT和SMT求解；可信的人工智慧與系統軟體；使用機器學習的程式分析；安全性；以及動態分析。
