| 2008 |
|---|
| 12 | EE | Yujian Fu,
Zhijiang Dong,
Junhua Ding,
Xudong He:
Mapping Software Architecture Specification to Rewriting Logic (Short Paper).
QSIC 2008: 376-381 |
| 11 | | Gonzalo Argote-Garcia,
Peter J. Clarke,
Xudong He,
Yujian Fu,
Leyuan Shi:
A Formal Approach for Translating a SAM Architecture to PROMELA.
SEKE 2008: 440-447 |
| 2007 |
|---|
| 10 | | Yujian Fu,
Zhijiang Dong,
Gonzalo Argote-Garcia,
Leyuan Shi,
Xudong He:
An Approach to Validating Translation Correctness From SAM to Java.
SEKE 2007: 45- |
| 9 | EE | Yujian Fu,
Zhijiang Dong,
Xudong He:
A Translator of Software Architecture Design from SAM to Java.
International Journal of Software Engineering and Knowledge Engineering 17(6): 709-755 (2007) |
| 2006 |
|---|
| 8 | EE | Yujian Fu,
Zhijiang Dong,
Xudong He:
Modeling, validating and automating composition of web services.
ICWE 2006: 217-224 |
| 7 | EE | Yujian Fu,
Zhijiang Dong,
Xudong He:
Formalizing and validating UML architecture description of web systems.
ICWE Workshops 2006: 8 |
| 6 | EE | Yujian Fu,
Zhijiang Dong,
Xudong He:
A Method for Realizing Software Architecture Design.
QSIC 2006: 57-64 |
| 5 | | Zhijiang Dong,
Yujian Fu,
Xudong He:
A Framework for Component-based System Modeling.
SEKE 2006: 290-295 |
| 2005 |
|---|
| 4 | EE | Yujian Fu,
Zhijiang Dong,
Xudong He:
An Approach to Validation of Software Architecture Model.
APSEC 2005: 375-384 |
| 3 | EE | Zhijiang Dong,
Yujian Fu,
Yue Fu,
Xudong He:
Automated Runtime Validation of Software Architecture Design.
ICDCIT 2005: 446-457 |
| 2 | | Yujian Fu,
Zhijiang Dong,
Xudong He:
A Methodology of Automated Realization of a Software Architecture Design.
SEKE 2005: 412-417 |
| 2003 |
|---|
| 1 | | Zhijiang Dong,
Yujian Fu,
Xudong He:
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams.
SEKE 2003: 150-157 |
