ASYDE 2022

During the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible. Automation helps, in fact, to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the development process.
Realizing high-quality software systems requires producing software that is efficient, error-free, cost-effective, and that satisfies customer requirements. Thus, one of the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well. Realizing high-quality software systems requires producing software that is efficient, error-free, cost-effective, and that satisfies evolving requirements. Thus, one the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well.
This becomes particularly true these days when we are, and will be, increasingly surrounded by a virtually infinite number of software artifacts - often underspecified - that can be composed to build new applications. This situation radically changes the way software will produced and used:

• software is increasingly produced according to a certain goal, that can change during the system's execution, and by integrating existing software;
• the focus of software production is then on the ability to perform automated reasoning to achieve software integration and development that can be kept always correct-by-construction via static and dynamic verification.

ASYDE 2022 provides a forum for researchers and practitioners to propose and discuss on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms.

Topics of interest include, but are not limited to, the following:

• Automated software development, verification and integration, for example, Automated synthesis of software integration code, Formal methods for automated software development, Automated and verifiable software development, Software quality assurance for automated software development
• Specification, architecture, and design of software and verification models
• Description and validation of Non-functional properties of software
• Dynamic verification and testing
• Correct-by-construction software development
• Compositional theories for software development and its (dynamic) verification
• Service-oriented and Component-based software development
• Serverless-based systems development
• Model-driven software development
• Microservices, for example, Formal specification of (micro)services, Formal models for microservices, Methods and tools for (semi)-automatically migrating monolithic systems to component-based or microservice-based systems
• Automated planning methods
• Machine learning and AI techniques
• Automatic methods for the development and verification of smart contracts

Farhad Arbab, Centre for Mathematics and Computer Science (The Netherlands)

Marco Autili, University of L’Aquila (Italy)

Federico Ciccozzi, Mälardalen University (Sweden)

Dimitra Giannakopoulou, NASA (USA)

Pascal Poizat, Paris Nanterre University (France)

Massimo Tivoli, University of L’Aquila (Italy)

---

Marco Autili
Department of Information Engineering, Computer Science and Mathematics - University of L’Aquila, Italy
email: marco.autili@univaq.it
web-page: http://people.disim.univaq.it/marco.autili/

Luca Berardinelli (main contact)
WIN-SE department, JKU Linz, Austria
email: luca.berardinelli@jku.at
web-page: https://se.jku.at/luca-berardinelli/

Alessio Bucaioni (main contact)
Division of Computer Science and Software Engineering – Mälardalen University,
Västerås, Sweden
email: alessio.bucaioni@mdh.se
web-page: https://www.es.mdh.se/staff/2662-Alessio_Bucaioni

Claudio Pompilio (main contact)
Department of Information Engineering, Computer Science and Mathematics - University of L’Aquila, Italy
email: claudio.pompilio@univaq.it

---

Luciano Baresi, Polytechnic University of Milan (Italy)

Steffen Becker, University of Stuttgart (Germany)

Antonio Brogi, University of Pisa (Italy)

Giovanni Denaro, University of Milano-Bicocca (Italy)

Antinisca Di Marco, University of L’Aquila (Italy)

Daniele Di Pompeo, University of L’Aquila (Italy)

Amleto Di Salle, University of L’Aquila (Italy)

Predrag Filipovikj, Scania Group (Sweden)

Francesco Flammini, Linnaeus University (Sweden)

Abel Gómez, Universitat Oberta de Catalunya (Spain)

Ludovico Iovino, Gran Sasso Science Institute (Italy)

Ehsan Khamespanah, University of Tehran (Iran)

Elena Lisova, Mälardalen University (Sweden)

Raffaela Mirandola, Polytechnic University of Milan (Italy)

Luca Pulina, University of Sassari (Italy)

Bilal Said, Softeam (France)

Cristina Seceleanu, Mälardalen University (Sweden)

Marjan Sirjani, Mälardalen University (Sweden)

Catia Trubiani, Gran Sasso Science Institute (Italy)

Manuel Wimmer, JKU Linz (Austria)

Apostolos Zarras, University of Ioannina (Greece)