5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023).
Marco AutiliAlessio BucaioniGianluca FilipponeFarnaz FotrousiRim SaddemGian Luca ScocciaPublished in: ASEW (2023)
Keyphrases
- development process
- development cycle
- software design
- software systems
- software application
- technical issues
- expert systems
- financial investment
- programming environments
- development environments
- systems development
- software developers
- software development
- development environment
- lecture notes in artificial intelligence
- requirements engineering
- design process
- software reuse
- software engineering
- computer systems
- information processing
- computer science
- hardware platforms
- product line
- open standards
- knowledge based systems
- international workshop
- semi automated
- design patterns