7th International Workshop on Automated and verifiable Software sYstem DEvelopment

In Person and Online

Event Type Conference
Submission Deadline 26-Aug-2025
Start Date 16-Nov-2025
End Date 20-Nov-2025
City and Country Seoul, South Korea
Website https://asyde-series.github.io/asyde2025/
Organized by University of L'Aquila

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.