ASYDE 2025: 7th International Workshop on Automated and verifiable Software sYstem DEvelopment

During the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as many software development activities as possible, spanning requirements specification, system modeling, code generation, testing, deployment, verification, release phases, project status reporting, and system maintenance. Automation helps 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 evolving 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. 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 be produced and used:

The event’s areas of interest encompass the following topics, without limitation: computer science, software engineering and software development.