Affiliation:
1. Centre for Mathematics and Computer Science, Amsterdam, Netherlands
2. University of L'Aquila, L'Aquila, Italy
3. Mälardalen University, Mälardalen, Sweden
4. Paris Nanterre University, Paris, France
Abstract
Over the past three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible, spanning requirements specification, system modeling, code generation, testing, deployment, verification, as well as 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. The Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) provided a forum to share and discuss innovative contributions to research and practice related to novel software engineering approaches to automated and verifiable development of software systems. The 5th edition took place on September 11th, 2023, in Kirchberg, Luxembourg. Notably, this marked the inaugural co-location of ASYDE with the IEEE/ACM International Conference on Automated Software Engineering (ASE).
Publisher
Association for Computing Machinery (ACM)
Subject
Pharmacology (medical),Complementary and alternative medicine,Pharmaceutical Science
Reference8 articles.
1. Exploring Automatic Specification Repair in Dafny Programs
2. Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts
3. Migrating from Monoliths to Microservices: Enforcing Correct Coordination
4. ICO: A Platform for Optimizing Highly Configurable Systems
5. Mashal Afzal Memon , Gian Luca Scoccia , and Marco Autili . Automated negotiation - preliminary results of a systematic mapping study . In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops , pages 94 -- 99 . IEEE, 2023 . Mashal Afzal Memon, Gian Luca Scoccia, and Marco Autili. Automated negotiation - preliminary results of a systematic mapping study. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, pages 94--99. IEEE, 2023.