基于时序逻辑的面向方面体系结构描述语言

基于时序逻辑的面向方面体系结构描述语言

倪友聪,应时,张琳琳,文静,叶鹏

Aspect-oriented Architecture Description Language Based on Temporal Logic

NI You-cong,YING Shi,ZHANG Lin-lin,WEN Jing,YE Peng

计算机科学 . 2010, (1): 146 -152 .