Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection.

Hui Liang, Jing Sun

Browse the full SEKE paper archive.