5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023)

• During the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activ-ities 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 know ledge by bringing quality into every step of the development process. 

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Software Engineering (hsv//eng)

Nyckelord

Software design

Software testing

Verification

Well testing

Codegeneration

Development costs

Development time

International workshops

Modelling codes

Requirements specifications

Software development teams

Software systems development

System maintenance

System models

Automation

Publikations- och innehållstyp

vet (ämneskategori)

kon (ämneskategori)