Searching for authors named "Xiaoshan Li" – sorted by Relevance.
-
Unifying Views of UML
- Views of UML Zhiming Liu, He Jifeng, Xiaoshan Li and Jing Liu October 2003 UNU/IIST and UNU
- Cited by 11 (6 self) – Add To MetaCart
-
Formal and Use-Case Driven Requirement Analysis in UML
- -Case Driven Requirement Analysis in UML Xiaoshan Li, Zhiming Liu and Jifeng He March 2001 UNU/IIST and UNU
- Cited by 16 (8 self) – Add To MetaCart
-
A relational model for object-oriented designs
- � A Relational Model for Object-Oriented Designs © ¦ He Jifeng ¢¡ £ , Zhiming Liu , Xiaoshan Li
- Cited by 12 (6 self) – Add To MetaCart
-
A Formal Design of Online Ticketing System in UML
- Design of Online Ticketing System in UML Xiaoshan Li, Zhiming Liu and Zhengshen Guo July 2001 UNU
- Cited by 2 (0 self) – Add To MetaCart
-
Formalizing the Use of UML in Requirement Analysis
- the Use of UML in Requirement Analysis Zhiming Liu, Jifeng He and Xiaoshan Li March 2001 UNU
- Cited by 1 (0 self) – Add To MetaCart
-
A Relational Model for Formal Object-Oriented Requirement Analysis in UML
- Model for Formal Object-Oriented Requirement Analysis in UML Zhiming Liu, He Jifeng, Xiaoshan Li
- Cited by 12 (5 self) – Add To MetaCart
-
Contract-Oriented Development of Component Software
- -Oriented Development of Component Software Zhiming Liu, He Jifeng and Xiaoshan Li April 2004 UNU-IIST and UNU
- Cited by 3 (2 self) – Add To MetaCart
-
A Formal Semantics of UML Sequence Diagrams
- Semantics of UML Sequence Diagrams Xiaoshan Li, Zhiming Liu and He Jifeng February 2004 UNU-IIST and UNU
- Cited by 6 (2 self) – Add To MetaCart
-
Component-based software engineering – the need to link methods and their theories
- ⋆⋆ , Xiaoshan Li2 1⋆ ⋆ ⋆ , and Zhiming Liu 1 International Institute for Software Technology United Nations
- Cited by 1 (1 self) – Add To MetaCart
-
Linking UML Models of Design and Requirement
- Models of Design and Requirement Jing Liu, Zhiming Liu, He Jifeng and Xiaoshan Li February 2004 UNU
- Cited by 7 (5 self) – Add To MetaCart

