International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)

by Federico Ciccozzi, April 15, 2020

Working on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms?

Tell us at ASYDE, the International Workshop on Automated and verifiable Software sYstem Development co-located with SEFM 2020!

Abstract submission: June 9, 2020
Paper submission: June 16, 2020

Check out: http://asyde2020.disim.univaq.it/

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 2020 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.

ASYDE 2020 welcomes research papers, (industrial) experience papers and case-studies, tool demonstrations and visionary papers; nevertheless, papers describing novel research contributions and innovative applications are of particular interest.