基于逻辑的软件体系结构共享注入点检测方法

叶鹏，倪友聪，杜欣

Logic-Based Approach for Detecting Shared Join Points at Software Architecture Level

YE Peng, NI Youcong, DU Xin

计算机科学与探索 . 2014, (2): 234 -248 . DOI: 10.3778/j.issn.1673-9418.1308015