During the last 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.
Realizing high-quality software systems requires producing software that is efficient, error-free, cost-effective, and that satisfies evolving requirements. Thus, one of the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well.
This becomes particularly true these days when we are, and will be, increasingly surrounded by a virtually infinite number of software artifacts -- often underspecified -- that can be composed to build new applications. This situation radically changes the way software will be produced and used:
Despite great interest in automated and verifiable software system development, no common formal aspects and software engineering approaches have been fully established yet. Developing software systems via an automated generation and verification method encompasses a variety of foundational principles and practical aspects, ranging from modeling and analysis issues to model-checking, from model-driven development techniques and code synthesis to run-time management issues, and AI approaches such as machine learning tools and large language models (LLMs).
ASYDE 2024 aims to provide 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.
28th July 10th August, 2024
2nd September, 2024
15th September, 2024
ASYDE 2024 welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest.
Contribution can be:
Regular papers (up to 10 pages): in this category fall those contributions that propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions (e.g., industrial experiences and case studies) in the application software engineering approaches for building software systems via automated development and verification. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested, and the potential benefits of the contribution. Authors of papers reporting industrial experiences are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case-study papers should describe significant case studies and the complete development should be made available for use by reviewers.
Short papers (up to 5 pages): this category includes tool demonstrations, position papers, well-pondered and sufficiently documented visionary papers. Tool demonstration papers should explain enhancements made in comparison to previously published work. Authors of demonstration papers should make their tool available for use by reviewers.
All papers must:
Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere.
Each submitted paper will undergo a formal peer review process by at least 3 Program Committee members.
Accepted papers will be included in the ASE's conference proceedings.
Selected papers will be invited to submit an extended version to the special issue on the Automated Software Engineering journal.
Paper submission is done via EasyChair.
As a published ACM author, you and your co-authors are subject to all ACM Publications Policies, including ACM’s new Publications Policy on Research Involving Human Participants and Subjects
Whether it be robots, services, software, or people, collaboration enables achieving goals that cannot be achieved individually. This keynote presents verified methods to enabling safe collaboration between autonomous systems and humans. I will start by showing how goal models and synthesis can be used to reason about and assure collaboration between robots. I will then consider how to use synthesis for revising systems to weaken obligations on humans. However, reasoning about humans’ behaviours requires us to look outside the realm of computing. I will illustrate how integrating theories from social psychology enables us to enable collaboration between robots and human groups. The journey ends by reflecting on the move to allyship between human and autonomous systems considering not only goals but values.
Dr. Amel Bennaceur is an associate professor and director of research at the School of Computing at the Open University. Her research focuses on formally-grounded and practice-informed software engineering methods and techniques to ensure the trustworthiness and resilience of intelligent systems. She published the results of this work in 60+ papers in top journals and conferences (TOSEM, TSE, Middleware, and ECSA) in research areas such as Software Engineering and Distributed Systems. She contributed to several EU and National/EPSRC research projects, including the TAS Resilience Node.
Sheraton Grand
1230 J St, Sacramento, CA 95814
California, United States