Searching for authors named Zhiming Li – sorted by Relevance.
-
A Relational Model for Specification of . . .
- Model for Specification of Object-Oriented Systems HE Jifeng, LIU Zhiming and LI Xiaoshan October 2002
- Add To MetaCart
-
Component Calculus
- Calculus He Jifeng, Liu Zhiming and Li Xiaoshan September, 2003 UNU/IIST and UNU/IIST Reports UNU
- Cited by 5 (1 self) – Add To MetaCart
-
Modelling Object-oriented Programming with Reference Type and Dynamic Binding
- with Reference Type and Dynamic Binding He Jifeng, Liu Zhiming and Li Xiaoshan May, 2003 UNU/IIST Report No. 280
- Cited by 4 (0 self) – Add To MetaCart
-
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

