Ark: a constraint-based method for architectural synthesis of smart systems

Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa. Ark: a constraint-based method for architectural synthesis of smart systems. Software and Systems Modeling, 19(3):741-762, 2020. [doi]

Abstract

Abstract is missing.