Architectural conformance checking for KDM-represented systems

Landi, AD; San Martin, D; Santos, BM; Cunha, WS; Durelli, RS; Camargo, VV

Santos, BM (通讯作者),Fed Univ Sao Carlos UFSCar, Comp Dept, Sao Carlos, SP, Brazil.

JOURNAL OF SYSTEMS AND SOFTWARE, 2022; 183 ():