Theoretical Aspects of Software Engineering
20th International Symposium, TASE 2026, Shanghai, China, July 4–6, 2026, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 20th International Symposium on Theoretical Aspects of Software Engineering, TASE 2026, held in Shanghai, China, during July 4–6, 2026.
The 23 full papers and 5 short papers were carefully selected from 64 submissions. The proceedings aim to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering.
Autor*in
Giuseppe De Giacomo
Themen in »Theoretical Aspects of Software Engineering«
Abstract interpretation Algebraic and co-algebraic specifications AI for formal methods Component-based software engineering Cyber-physical systems Deductive verification Distributed and concurrent systems Domain Engineering Embedded and real-time systems Feature-oriented software Formal methods Verification and testing for AI systems Run-time verification and monitoring Semantic web and web services Service-oriented and cloud computing