<p>This book constitutes the refereed proceedings of the 29th International Conference on Engineering of Complex Computer Systems, ICECCS 2025, which took place in Hangzhou, China, during July 2-4, 2025.</p><p>The 21 full papers, 3 short papers and 8 position papers included in this book were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: Machine Learning for Complex Systems; Trustworthy Deep Learning; Edge Computing Systems; <span data-olk-copy-source="MessageBody">Large Language Models Empowered Software Engineering</span>; Formal Methods; Program Analysis;<strong>&#xa0;</strong>Position Papers: Large Language Model Agents; Position Papers: Software Engineering for Large Language&#xa0;Models; and Position Papers: Large Language Models for Software&#xa0;Engineering.<br><br><br><br><br><br><br><br>set programming; functional programming; languages, methods and tools; and declarative<br>solutions.</br></br></br></br></br></br></br></br></br></p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Engineering of Complex Computer Systems

摘要

This book constitutes the refereed proceedings of the 29th International Conference on Engineering of Complex Computer Systems, ICECCS 2025, which took place in Hangzhou, China, during July 2-4, 2025.

The 21 full papers, 3 short papers and 8 position papers included in this book were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: Machine Learning for Complex Systems; Trustworthy Deep Learning; Edge Computing Systems; Large Language Models Empowered Software Engineering; Formal Methods; Program Analysis; Position Papers: Large Language Model Agents; Position Papers: Software Engineering for Large Language Models; and Position Papers: Large Language Models for Software Engineering.







set programming; functional programming; languages, methods and tools; and declarative
solutions.