Ming Zha

According to our database, Ming Zha authored at least 3 papers between 1999 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

A Research on Construction of SOAs for Enterprises in China.

Xin Liu, Ming Zha, Tingjie Lu, Wei Fan

Proceedings of the Research and Practical Issues of Enterprise Information Systems II, 2007

2001

A Formal Software Development Approach Using Refinement Calculus.

Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng

J. Comput. Sci. Technol., 2001

1999

A Formal Software Development Approach Based on COOZ and Refinement Calculus.

Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guoliang Zheng

Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999