Modeling Complex Software Systems Using an Aspect Extension of Object-Z.

Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He

Browse the full SEKE paper archive.