Architectural Conformance Checking for KDM-Represented Systems

Publication
Journal of Systems and Software