Formal Descriptive Semantics of UML and Its Applications. - Hong Zhu 002; Lijun Shan; Ian Bayley; Richard Amphlett (UML 2 Semantics and Applications, 2009)

Tool Support for Design Pattern Recognition at Model Level. - Hong Zhu 002; Ian Bayley; Lijun Shan; Richard Amphlett (COMPSAC (1), 2009)