Search the dblp DataBase

Publications of Author

1. Xiaoping Jia
   An approach to animating Z specifications. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 1995, pp:108-121 [Conf]
   
2. Xiaoping Jia
   A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 1997, pp:240-245 [Conf]
   
3. Xiaoping Jia, Sotiris Skevoulis
   Code Synthesis Based on Object-Oriented Design Models and Formal Specifications. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 1998, pp:393-399 [Conf]
   
4. Xiaoping Jia, Sotiris Skevoulis
   A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 1999, pp:67-0 [Conf]
   
5. Xiaoping Jia, Sushant Sawant, Jiangyu Zhou, Sotiris Skevoulis
   Detecting Null Pointer Violations in Java Programs. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 1999, pp:456-461 [Conf]
   
6. Stephen S. Yau, Xiaoping Jia
   Visual languages and software specifications. [Citation Graph (0, 0)][DBLP]
   ICCL, 1988, pp:322-328 [Conf]
   
7. Xiaoping Jia, Adam Steele, Hongming Liu, Lizhang Qin, Chris Jones
   Using ZOOM Approach to Support MDD. [Citation Graph (0, 0)][DBLP]
   Software Engineering Research and Practice, 2004, pp:144-150 [Conf]
   
8. Xiaoping Jia, Adam Steele, Lizhang Qin, Hongming Liu, Chris Jones
   Executable Visual Software Modeling - The ZOOM Approach. [Citation Graph (0, 0)][DBLP]
   Software Engineering Research and Practice, 2005, pp:182-188 [Conf]
   
9. Hongming Liu, Lizhang Qin, Xiaoping Jia, Adam Steele
   Model Transformation Based on Meta Templates. [Citation Graph (0, 0)][DBLP]
   Software Engineering Research and Practice, 2006, pp:547-553 [Conf]
   
10. Barry L. Kurtz, James B. Fenwick Jr., Christopher C. Ellsworth, Xiaohong Yuan, Adam Steele, Xiaoping Jia
    Inter-University software engineering using web services. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2007, pp:464-468 [Conf]
    
11. Lizhang Qin, Xiaoping Jia, Hongming Liu
    A Hypothesis-Based Approach to Detecting Runtime Violations. [Citation Graph (0, 0)][DBLP]
    VVEIS, 2004, pp:60-65 [Conf]
    
12. Sotiris Skevoulis, Xiaoping Jia
    Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs. [Citation Graph (0, 0)][DBLP]
    TOOLS (37), 2000, pp:36-44 [Conf]
    
13. Stephen S. Yau, Xiaoping Jia, Doo-Hwan Bae
    Software design methods for distributed computing systems. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1992, v:15, n:4, pp:213-224 [Journal]
    
14. Stephen S. Yau, Xiaoping Jia, Doo-Hwan Bae
    PROOF: A Parallel Object-Oriented Functional Computation Model. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1991, v:12, n:3, pp:202-212 [Journal]
    
15. Xiaoping Jia, Adam Steele, Lizhang Qin, Hongming Liu, Chris Jones
    Executable visual software modeling - the ZOOM approach. [Citation Graph (0, 0)][DBLP]
    Software Quality Journal, 2007, v:15, n:1, pp:27-51 [Journal]
    
16. 
    Application of Adaptive Neuro-Fuzzy Inference System to carrying capacity assessment for cage fish farm in Daya Bay, China. [Citation Graph (, )][DBLP]
    
    
17. 
    Application of dimensional analysis for carrying capacity assessment for cage fish farm in Guangdong coastal waters, China. [Citation Graph (, )][DBLP]
    
    
18. 
    Adversary Centered Design: Threat Modeling Using Anti-Scenarios, Anti-Use Cases and Anti-Personas. [Citation Graph (, )][DBLP]
    
    
19. 
    Model Transformation Framework Supported by ZOOM. [Citation Graph (, )][DBLP]
    
    
20. 
    Metamodel based Model Transformation Framework. [Citation Graph (, )][DBLP]
    
    
21. 
    A Model Transformation Framework for Model Driven Engineering. [Citation Graph (, )][DBLP]