| |
| | FST Academic Staff - Li Xiao Shan |
 | | Li Xiaoshan, Liu Zhiming, He Jifeng, and Long Quan: Generating a Prototype from a UML model of System Requirements. |
 | | Li Xiaoshan, Liu Zhiming and He Jifeng: A Formal Semantics of UML Sequence Diagram, Proc. |
 | | Liu Zhiming, He Jifeng, Li Xiaoshan and Chen Yifeng: A relational model for object-oriented requirement analysis in UML, Proceedings of the 5th International Conference on Formal Engineering Methods (ICFEM 2003), Lecture Notes in Computer Science LNCS 2885, pp641-664, Springer, 2003. |
| www.fst.umac.mo /en/staff/fstxsl.html (1372 words) |
|