onr:"swepub:oai:DiVA.org:mdh-65023"
Search: onr:"swepub:oai:DiVA.org:mdh-65023" > 5th International W...
- 1 of 1
- Previous record
- Next record
- To hitlist
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...
- 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
- Conference paper (other academic/artistic)
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
- Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software ... (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Autili, M.
- Bucaioni, Alessi ...
- Filippone, G.
- Fotrousi, F.
- Saddem, R.
- Scoccia, G. L.
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Software Enginee ...
- Articles in the publication
- Proceedings - 20 ...
- By the university
- Mälardalen University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
