Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023.
Farhad ArbabMarco AutiliFederico CiccozziPascal PoizatMassimo TivoliPublished in: ACM SIGSOFT Softw. Eng. Notes (2024)
Keyphrases
- development process
- software design
- software engineering
- development cycle
- software development
- hardware platforms
- software application
- expert systems
- product line
- software architecture
- software tools
- software developers
- software testing
- quality assurance
- technical issues
- software systems
- financial investment
- case study
- commercial off the shelf
- source code
- knowledge based systems
- development environment
- information processing
- software maintenance
- software reuse
- software industry
- software evolution
- cross platform
- knowledge management
- design tools
- intelligent software