posted by organizer: gianlucafilippone || 1040 views || tracked by 1 users: [display]

ASYDE 2023 : International Workshop on Automated and verifiable Software sYstem DEvelopment

FacebookTwitterLinkedInGoogle

Link: https://asyde-series.github.io/asyde2023/
 
When Sep 11, 2023 - Sep 11, 2023
Where Kirchberg, Luxembourg
Submission Deadline Jul 22, 2023
Notification Due Aug 13, 2023
Final Version Due Aug 18, 2023
Categories    computer science   software engineering
 

Call For Papers

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:
- software is increasingly produced according to a certain goal, that can change during the system's execution, and by integrating existing software;
- the focus of software production is then on the ability to perform automated reasoning to achieve software integration and development that can be kept always correct-by-construction via static and dynamic verification.

This calls for automated software development methods and techniques, compositional verification theories, integration architectures, as well as, automated flexible and dynamic composition, and development mechanisms.

ASYDE 2023 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.


Topics of interest include, but are not limited to, the following:
- Automated software development, verification and integration, for example, Automated synthesis of software integration code, Formal methods for automated software - development, Automated and verifiable software development, Software quality assurance for automated software development
- Specification, architecture, and design of software and verification models
- Description and validation of Non-functional properties of software
- Dynamic verification and testing
- Correct-by-construction software development
- Compositional theories for software development and its (dynamic) verification
- Service-oriented and Component-based software development
- Serverless-based systems development
- Model-driven software development
- Microservices, for example, Formal specification of (micro)services, Formal models for microservices, Methods and tools for (semi)-automatically migrating monolithic systems to component-based or microservice-based systems
- Automated planning methods
- Machine learning and AI techniques
- Automatic methods for the development and verification of smart contracts

Related Resources

IEEE Xplore-Ei/Scopus-DMCSE 2023   2023 International Conference on Data Mining, Computing and Software Engineering (DMCSE 2023) -EI Compendex
ICoSSE 2024   2024 7th International Conference on Software and System Engineering (ICoSSE 2024)
IEEE Xplore-Ei/Scopus-CSPIT 2023   2023 Asia Conference on Communications, Signal Processing and Information Technology (CSPIT 2023) -EI Compendex
HongKong-IDITR 2024   2024 3rd International Conference on Innovations and Development of Information Technologies and Robotics (IDITR 2024)
IEEE Xplore-Ei/Scopus-CACEE 2023   2023 International Conference on Automation, Control and Electronics Engineering (CACEE 2023) -EI Compendex
ICMLT 2024   2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
Scopus-IDITR 2024   2024 3rd International Conference on Innovations and Development of Information Technologies and Robotics (IDITR 2024)
ICDM 2024   24th Industrial Conference on Data Mining
ICoSSE--Ei 2024   2024 7th International Conference on Software and System Engineering (ICoSSE 2024)
ASE 2023   38th IEEE/ACM International Conference on Automated Software Engineering