ActivFORMS: A Formally Founded Model-based Approach to Engineer Self-adaptive Systems

Danny Weyns, M. Usman Iftikhar. ActivFORMS: A Formally Founded Model-based Approach to Engineer Self-adaptive Systems. ACM Transactions on Software Engineering Methodology, 32(1), January 2023. [doi]

Abstract

Abstract is missing.