 | 2009 |
|---|
| 8 |       | Yue Xie,
Dehui Du,
Jing Liu,
Zuohua Ding:
Towards the Verification of Services Collaboration.
COMPSAC (2) 2009: 428-433 |
| 7 | | Dehui Du,
Ling Yin:
Probabilistic Coordination Language for Component Dynamic Composition.
TASE 2009: 317-318 |
| 6 | | Dehui Du,
Jing Liu,
Honghua Cao,
Miaomiao Zhang:
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development.
Electr. Notes Theor. Comput. Sci. 243: 69-87 (2009) |
| 2008 |
|---|
| 5 | | Dehui Du,
Jing Liu,
Honghua Cao:
A Rigorous Model of Contract-Based Service Component Architecture.
CSSE (2) 2008: 409-412 |
| 2006 |
|---|
| 4 | | Yutao Ma,
Keqing He,
Dehui Du,
Jing Liu,
Yulan Yan:
A Complexity Metrics Set for Large-Scale Object-Oriented Software Systems.
CIT 2006: 189 |
| 3 | | Honghua Cao,
Shi Ying,
Dehui Du:
Towards Model-based Verification of BPEL with Model Checking.
CIT 2006: 190 |
| 2005 |
|---|
| 2 | | Yutao Ma,
Keqing He,
Dehui Du:
A Qualitative Method for Measuring the Structural Complexity of Software Systems Based on Complex Networks.
APSEC 2005: 257-263 |
| 2004 |
|---|
| 1 | | Dehui Du,
Shi Ying,
Keqing He,
Yangfan He:
An Approach for Constructing Software Component Repository in Grid Environments.
GCC Workshops 2004: 75-82 |
