Home Categories About Call for Papers

ASYDE 2020 : Automated and verifiable Software sYstem DEvelopment

Amsterdam, The Netherlands

Event Date:	September 15, 2020 - September 15, 2020
Abstract Submission Deadline:	June 09, 2020
Submission Deadline:	June 16, 2020
Notification of Acceptance:	July 21, 2020

About

ASYDE 2020 is the 2nd International Workshop on Automated and verifiable Software sYstem DEvelopment, co-located with the 18th International Conference on Software Engineering and Formal Methods (SEFM 2020).

ASYDE 2020 provides a forum for researchers and practitioners to propose and discuss on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms.

The mission of the ASYDE workshop is to consolidate interest of the SEFM community and related forums on the interplay between software engineering and formal aspects of automated and verifiable software system development.

ASYDE 2020 welcomes research papers, (industrial) experience papers and case-studies, tool demonstrations and visionary papers; nevertheless, papers describing novel research contributions and innovative applications are of particular interest.

Call for Papers

TOPICS

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

Credits and Sources

[1] ASYDE 2020 : Automated and verifiable Software sYstem DEvelopment

ASYDE 2020 : Automated and verifiable Software sYstem DEvelopment

Categories

About

Call for Papers

TOPICS

Credits and Sources

OTHER SOFTWARE ENGINEERING EVENTS

OTHER FORMAL METHODS EVENTS

OTHER MACHINE LEARNING EVENTS