Architectural Conformance Checking for KDM-Represented Systems

André Landi, Daniel Santibanez, Bruno M. Santos, Warteruzannan S. Cunha, Rafael S. Durelli, Valter V. de Camargo

January, 2022