Theoretical Aspects of Software Engineering: 18th Inteational Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings (Lecture Notes in Computer Science)

by: Wei-Ngan Chin (Editor),Zhiwu Xu (Editor)

Publisher: Springer

Edition: 2024th

Publication Date: 2024/7/15

Language: English

Print Length: 488 pages

ISBN-10: 3031646258

ISBN-13: 9783031646256

Book Description

This book constitutes the refereed proceedings of the 18th Inteational Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29–August 1, 2024.The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected from 76 submissions. The papers presented new results on innovative advances in software engineering, as well as the latest developments in formal and theoretical software engineering methods and techniques.

About the Author

This book constitutes the refereed proceedings of the 18th Inteational Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29–August 1, 2024.The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected from 76 submissions. The papers presented new results on innovative advances in software engineering, as well as the latest developments in formal and theoretical software engineering methods and techniques.