MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems - Iglesia, Didac Gil De La; Weyns, Danny (ACM transactions on autonomous and adaptive systems, 2015)
Keywords: Computer Science; Datavetenskap; Design; Design engineering; Dynamical systems; Dynamics; Feedback loops; Formal method; Formal templates; Logic; MAPE-K; Self adaptive control systems; self-adaptation; Specifications; Verification