{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:08:44Z","timestamp":1750219724420,"version":"3.41.0"},"reference-count":8,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T00:00:00Z","timestamp":1703116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2023,12,21]]},"abstract":"<jats:p>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).<\/jats:p>","DOI":"10.1145\/3635439.3635444","type":"journal-article","created":{"date-parts":[[2023,12,27]],"date-time":"2023-12-27T23:04:50Z","timestamp":1703718290000},"page":"24-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE\/ACM ASE 2023"],"prefix":"10.1145","volume":"49","author":[{"given":"Farhad","family":"Arbab","sequence":"first","affiliation":[{"name":"Centre for Mathematics and Computer Science, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Autili","sequence":"additional","affiliation":[{"name":"University of L'Aquila, L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Ciccozzi","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, M\u00e4lardalen, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Poizat","sequence":"additional","affiliation":[{"name":"Paris Nanterre University, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[{"name":"University of L'Aquila, L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,12,27]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW60602.2023.00019"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW60602.2023.00018"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW60602.2023.00020"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW60602.2023.00013"},{"key":"e_1_2_1_5_1","first-page":"94","volume-title":"38th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops","author":"Memon Mashal Afzal","year":"2023","unstructured":"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."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW60602.2023.00015"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW60602.2023.00016"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW60602.2023.00014"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3635439.3635444","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3635439.3635444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:21Z","timestamp":1750178181000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3635439.3635444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,21]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,12,21]]}},"alternative-id":["10.1145\/3635439.3635444"],"URL":"https:\/\/doi.org\/10.1145\/3635439.3635444","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2023,12,21]]},"assertion":[{"value":"2023-12-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}