Reasoning about design patterns with an Aspect-Oriented approach | IEEE Conference Publication | IEEE Xplore