A Verification Mechanism for Weaving in Extensible AOM Languages
Demonstration
A Reflective Aspect-oriented Model Editor Based on Metamodel Extension