Formal Aspect-Oriented Modeling and Analysis by Aspect.

Huiqun Yu, Dongmei Liu, Li Yang, Xudong He

Browse the full SEKE paper archive.