ActivFORMS: A Formally Founded Model-based Approach to Engineer Self-adaptive Systems.
Danny WeynsM. Usman IftikharPublished in: ACM Trans. Softw. Eng. Methodol. (2023)
Keyphrases
- probabilistic model
- probability distribution
- management system
- information retrieval
- analytical model
- network model
- mathematical models
- prediction model
- experimental data
- parameter estimation
- evolutionary algorithm
- objective function
- databases
- distributed systems
- theoretical analysis
- prior knowledge
- computational model
- theoretical framework
- mathematical model
- sensitivity analysis
- high level
- image segmentation