Theoretical Aspects Of Software Engineering

The 39 papers selected for the June 2008 symposium present new approaches to model checking, program analysis, service-oriented computing, verification and validation, software testing, logic systems, and specifications. The contributors propose a bigraphical model of WSBPEL, workflow semantics of peer and service behavior, automatic verification of self-stabilizing population protocols, and a multidimensional model for mum effect in offshore outsourcing. Other topics include test data generation for C programs, transformation of BPEL processes to Petri nets, symmetry reduction for B and Z models, and permission interpretation for ownership types. No subject index is provided.

This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023. The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.

This book constitutes the refereed proceedings of the 18th International 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.

Modern society is increasingly dependent on software systems that are becoming larger and more complex This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, distribution in cloud computing applications, etc Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects TASE 2016 aims to provide a forum for people from academia and industry to communicate their latest results on theoretical advances in software engineering