10 Challenges for the specification of self-adaptive software.
Juan C. Muñoz-FernándezRaúl MazoCamille SalinesiGabriel TamuraPublished in: RCIS (2018)
Keyphrases
- lessons learned
- formal methods
- software design
- software development
- user interface
- software systems
- requirements specification
- software maintenance
- key issues
- test case generation
- databases
- mobile platforms
- software platform
- open issues
- formal verification
- software tools
- software architecture
- computer systems
- case study
- learning algorithm
- real world
- embedded systems
- mobile devices
- software package
- software packages
- database systems
- commercial software
- data mining
- neural network