Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He
Modeling Complex Software Systems Using an Aspect Extension of Object-Z
SEKE, 2006.
@inproceedings{SEKE-2006-YuLSH,
author = "Huiqun Yu and Dongmei Liu and Zhiqing Shao and Xudong He",
booktitle = "{Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-18-7",
pages = "11--16",
title = "{Modeling Complex Software Systems Using an Aspect Extension of Object-Z}",
year = 2006,
}