CfP: 5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2023)
by Farnaz Fotrousi, June 30, 2023Are you working on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms?
Submit your work at the 5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located with ASE 2023 (https://conf.researchr.org/home/ase-2023).
Paper Submission deadline: 22 July, 2023. Author Notification: 13 August, 2023. Topics: - 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 More information can be found at the official website: https://asyde-series.github.io/asyde2023/ #softwareengineering #asyde #ASE
TRANSLATE with x
English
TRANSLATE with
EMBED THE SNIPPET BELOW IN YOUR SITE
Enable collaborative features and customize widget: Bing Webmaster Portal
