 | 2010 |
| 8 |  | Zuohua Ding,
Mingyue Jiang,
Geguang Pu,
Jing Liu:
Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications.
QSIC 2010: 341-344 |
| 2009 |
| 7 |  | Zuohua Ding,
Mingyue Jiang,
Jing Liu:
Model Checking Service Component Composition by SPIN.
ACIS-ICIS 2009: 1029-1034 |
| 6 |  | Zuohua Ding,
Mingyue Jiang,
Geguang Pu,
Jeff W. Sanders:
Modelling and Verification of Web Navigation.
ICWE 2009: 181-188 |
| 5 |  | Zuohua Ding,
Mingyue Jiang:
Port Based Reliability Computing for Service Composition.
IEEE SCC 2009: 403-410 |
| 4 |  | Lei Yang,
Mingyue Jiang:
Dynamic Group Decision Making Consistence Convergence Rate Analysis Based on Inertia Particle Swarm Optimization Algorithm.
JCAI 2009: 492-496 |
| 3 |  | Zuohua Ding,
Mingyue Jiang:
Rebuilding Web Application Requirements Based on User Navigation.
NCM 2009: 206-213 |
| 2 |  | Zuohua Ding,
Mingyue Jiang:
Modelling and Verification of Port Based Component Composition.
QSIC 2009: 86-91 |
| 1 |  | Zuohua Ding,
Mingyue Jiang:
Reliability Computing for Service Composition.
SSIRI 2009: 449-450 |