Search the dblp DataBase

Publications of Author

1. Yujian Fu, Zhijiang Dong, Xudong He
   An Approach to Validation of Software Architecture Model. [Citation Graph (0, 0)][DBLP]
   APSEC, 2005, pp:375-384 [Conf]
   
2. Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He
   Automated Runtime Validation of Software Architecture Design. [Citation Graph (0, 0)][DBLP]
   ICDCIT, 2005, pp:446-457 [Conf]
   
3. Yujian Fu, Zhijiang Dong, Xudong He
   Modeling, validating and automating composition of web services. [Citation Graph (0, 0)][DBLP]
   ICWE, 2006, pp:217-224 [Conf]
   
4. Yujian Fu, Zhijiang Dong, Xudong He
   A Method for Realizing Software Architecture Design. [Citation Graph (0, 0)][DBLP]
   QSIC, 2006, pp:57-64 [Conf]
   
5. Zhijiang Dong, Yujian Fu, Xudong He
   Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. [Citation Graph (0, 0)][DBLP]
   SEKE, 2003, pp:150-157 [Conf]
   
6. Yujian Fu, Zhijiang Dong, Xudong He
   A Methodology of Automated Realization of a Software Architecture Design. [Citation Graph (0, 0)][DBLP]
   SEKE, 2005, pp:412-417 [Conf]
   
7. Zhijiang Dong, Yujian Fu, Xudong He
   A Framework for Component-based System Modeling. [Citation Graph (0, 0)][DBLP]
   SEKE, 2006, pp:290-295 [Conf]
   
8. Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He
   An Approach to Validating Translation Correctness From SAM to Java. [Citation Graph (0, 0)][DBLP]
   SEKE, 2007, pp:45-0 [Conf]
   
9. 
   Formalizing and validating UML architecture description of web systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Mapping Software Architecture Specification to Rewriting Logic (Short Paper). [Citation Graph (, )][DBLP]
    
    
11. 
    A Formal Approach for Translating a SAM Architecture to PROMELA. [Citation Graph (, )][DBLP]
    
    
12. 
    Modular Analysis of Software Architecture Model. [Citation Graph (, )][DBLP]