Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

This book presents the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures,FOSSACS 2023,which was held in Paris,France. The papers cover research on theories and methods for analyzing, integrating, synthesizing, transforming, and verifying programs and software systems.

Format: Paperback / softback
Length: 562 pages
Publication date: 21 April 2023
Publisher: Springer International Publishing AG

This open-access book serves as the official proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2023), which took place from April 22 to 27, 2023, in the vibrant city of Paris, France. It was an integral part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), a prestigious gathering of software experts from around the world.

The conference featured a remarkable array of 26 regular papers, each of which underwent rigorous review and selection from a pool of 85 submissions. These papers delve into cutting-edge research on theories and methodologies aimed at advancing the analysis, integration, synthesis, transformation, and verification of programs and software systems.

The topics covered in this volume are diverse and encompass a wide range of software engineering disciplines. The papers explore innovative approaches to software analysis, including static and dynamic analysis, model checking, and theorem proving. They also address the integration of software components and systems, focusing on techniques such as composition, component-based development, and service-oriented architecture.

Furthermore, the papers explore the synthesis of software systems, emphasizing the development of automated tools and algorithms for generating efficient and reliable software. They also address the transformation of software systems, exploring techniques for code refactoring, restructuring, and modernization. The verification of software systems is another critical area of research, with papers exploring formal methods, model checking, and testing techniques.

The contributions made by the authors and presenters at FOSSACS 2023 are of immense value to the software engineering community. These papers showcase the latest advancements in software science and computational structures, providing insights and solutions for complex software development challenges.

We would like to express our sincere gratitude to the organizers, chairs, and reviewers of FOSSACS 2023 for their tireless efforts in ensuring the success of this conference. Their dedication and commitment to promoting excellence in software research make this book a valuable resource for researchers, practitioners, and students alike.

In conclusion, this open-access book serves as a testament to the vibrant and dynamic field of software engineering. The 26 regular papers presented in this volume showcase the latest research and advancements in software analysis, integration, synthesis, transformation, and verification. They provide valuable insights and solutions for software development challenges and contribute to the ongoing progress of the software engineering community.

Weight: 872g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031308284
Edition number: 1st ed. 2023