Sökning: onr:"swepub:oai:DiVA.org:mdh-65023" >
5th International W...
5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023)
-
- Autili, M. (författare)
- University of l'Aquila, L'Aquila, Italy
-
- Bucaioni, Alessio, 1987- (författare)
- Mälardalens universitet,Inbyggda system
-
- Filippone, G. (författare)
- University of l'Aquila, L'Aquila, Italy
-
visa fler...
-
- Fotrousi, F. (författare)
- Chalmers University, Göteborg, Sweden
-
- Saddem, R. (författare)
- Aix Marseille University, Marseille, France
-
- Scoccia, G. L. (författare)
- Gran Sasso Science Institute, L'Aquila, Italy
-
visa färre...
-
(creator_code:org_t)
- Institute of Electrical and Electronics Engineers Inc. 2023
- 2023
- Engelska.
-
Ingår i: 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
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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)
Hitta via bibliotek
Till lärosätets databas