Search: onr:"swepub:oai:DiVA.org:mdh-65023" >
5th International W...
5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023)
-
- Autili, M. (author)
- University of l'Aquila, L'Aquila, Italy
-
- Bucaioni, Alessio, 1987- (author)
- Mälardalens universitet,Inbyggda system
-
- Filippone, G. (author)
- University of l'Aquila, L'Aquila, Italy
-
show more...
-
- Fotrousi, F. (author)
- Chalmers University, Göteborg, Sweden
-
- Saddem, R. (author)
- Aix Marseille University, Marseille, France
-
- Scoccia, G. L. (author)
- Gran Sasso Science Institute, L'Aquila, Italy
-
show less...
-
(creator_code:org_t)
- Institute of Electrical and Electronics Engineers Inc. 2023
- 2023
- English.
-
In: Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2023. - : Institute of Electrical and Electronics Engineers Inc.. - 9798350330328 ; , s. 9-10
- Related links:
-
https://doi.org/10.1...
-
show more...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Keyword
- 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
Publication and Content Type
- vet (subject category)
- kon (subject category)
Find in a library
To the university's database