Formal Aspect-Oriented Modeling and Analysis by Aspect

Huiqun Yu, Dongmei Liu, Li Yang, Xudong He. Formal Aspect-Oriented Modeling and Analysis by Aspect. In William C. Chu, Natalia Juristo Juzgado, W. Eric Wong, editors, Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, July 14-16, 2005. pages 169-174, 2005.

Abstract

Abstract is missing.