A formal method for software architecture analysis based on aspect orientation

Xinxiu Wen, Hong Zheng, Zeping Yang. A formal method for software architecture analysis based on aspect orientation. IJWMC, 14(2):191-196, 2018. [doi]

Abstract

Abstract is missing.