International Workshop on Automated and verifiable Software sYstem DEvelopment
ASYDE 2019 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 2019 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.
Workshop Site: http://asyde2019.disim.univaq.it/
