An Analysis of the Correctness and Completeness of Aspect Weaving | IEEE Conference Publication | IEEE Xplore