Verifying Aspect-Oriented Models against Crosscutting Properties

Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li. Verifying Aspect-Oriented Models against Crosscutting Properties. International Journal of Software Engineering and Knowledge Engineering, 23(5):655-676, 2013. [doi]

Authors

Zhanqi Cui

This author has not been identified. Look up 'Zhanqi Cui' in Google

Linzhang Wang

This author has not been identified. Look up 'Linzhang Wang' in Google

Xi Liu

This author has not been identified. Look up 'Xi Liu' in Google

Lei Bu

This author has not been identified. Look up 'Lei Bu' in Google

Jianhua Zhao

This author has not been identified. Look up 'Jianhua Zhao' in Google

Xuandong Li

This author has not been identified. Look up 'Xuandong Li' in Google