Return to Article Details Verification of Architectural Refactorings: Rule Extraction and Tool Support Download Download PDF