Engineering of Complex Computer Systems | 29th International Conference, ICECCS 2025, Hangzhou, China, July 2–4, 2025, Proceedings | ISBN 9783032008282

Engineering of Complex Computer Systems

29th International Conference, ICECCS 2025, Hangzhou, China, July 2–4, 2025, Proceedings

herausgegeben von Yuan Zhou, Sin G. Teo, Xiaofei Xie, Zuohua Ding und Yang Liu
Mitwirkende
Herausgegeben vonYuan Zhou
Herausgegeben vonSin G. Teo
Herausgegeben vonXiaofei Xie
Herausgegeben vonZuohua Ding
Herausgegeben vonYang Liu
Buchcover Engineering of Complex Computer Systems  | EAN 9783032008282 | ISBN 3-032-00828-X | ISBN 978-3-032-00828-2

Engineering of Complex Computer Systems

29th International Conference, ICECCS 2025, Hangzhou, China, July 2–4, 2025, Proceedings

herausgegeben von Yuan Zhou, Sin G. Teo, Xiaofei Xie, Zuohua Ding und Yang Liu
Mitwirkende
Herausgegeben vonYuan Zhou
Herausgegeben vonSin G. Teo
Herausgegeben vonXiaofei Xie
Herausgegeben vonZuohua Ding
Herausgegeben vonYang Liu

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.