Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli
{"title":"与第 38 届 IEEE/ACM ASE 2023 会议同期举行的第五届自动化和可验证软件系统开发(ASYDE)国际研讨会摘要","authors":"Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli","doi":"10.1145/3635439.3635444","DOIUrl":null,"url":null,"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).","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"51 5","pages":"24 - 26"},"PeriodicalIF":0.0000,"publicationDate":"2023-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023\",\"authors\":\"Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli\",\"doi\":\"10.1145/3635439.3635444\",\"DOIUrl\":null,\"url\":null,\"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).\",\"PeriodicalId\":432885,\"journal\":{\"name\":\"ACM SIGSOFT Software Engineering Notes\",\"volume\":\"51 5\",\"pages\":\"24 - 26\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-12-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM SIGSOFT Software Engineering Notes\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3635439.3635444\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM SIGSOFT Software Engineering Notes","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3635439.3635444","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023
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).