| An approach to animating Z specifications X Jia Proceedings Nineteenth Annual International Computer Software and …, 1995 | 85 | 1995 |
| An agile approach to capturing requirements and traceability C Lee, L Guadagno, X Jia Proceedings of the 2nd international workshop on traceability in emerging …, 2003 | 78 | 2003 |
| Rigorous and automatic testing of web applications X Jia, H Liu Proceedings of the 6th IASTED International Conference on Software …, 2002 | 69 | 2002 |
| Object Oriented Software Development using Java X Jia Addison-Wesley Longman Publishing Co., Inc., 2001 | 69 | 2001 |
| A performance evaluation of cross-platform mobile application development approaches X Jia, A Ebone, Y Tan Proceedings of the 5th International Conference on Mobile Software …, 2018 | 48 | 2018 |
| ZTC: A Type Checker for Z–User’s Guide X Jia Institute for Software Engineering, Department of Computer Science and …, 1995 | 42 | 1995 |
| The AXIOM model framework: Transforming requirements to native code for cross-platform mobile applications C Jones, X Jia 2014 9th International Conference on Evaluation of Novel Approaches to …, 2014 | 29 | 2014 |
| AXIOM: A Model-driven Approach to Cross-platform Application Development. X Jia, C Jones ICSOFT, 24-33, 2012 | 29 | 2012 |
| ZTC: A type checker for Z notation X Jia http://se. cs. depaul. edu/fm/ztc. html, 1998 | 27 | 1998 |
| PROOF: A parallel object-oriented functional computation model SS Yau, X Jia, DH Bae Journal of Parallel and Distributed Computing 12 (3), 202-212, 1991 | 26 | 1991 |
| Ztc: A type checker for z notation–user’s guide X Jia DePaul University, Institute for Software Engineering, Department of …, 1998 | 24 | 1998 |
| Executable visual software modeling—the ZOOM approach X Jia, A Steele, L Qin, H Liu, C Jones Software Quality Journal 15, 27-51, 2007 | 23 | 2007 |
| A pragmatic approach to formalizing object-oriented modeling and development X Jia Proceedings Twenty-First Annual International Computer Software and …, 1997 | 19 | 1997 |
| Software design methods for distributed computing systems SS Yau, X Jia, DH Bae Computer Communications 15 (4), 213-224, 1992 | 19 | 1992 |
| Model-based formal specification directed testing of abstract data types X Jia Proceedings of 1993 IEEE 17th International Computer Software and …, 1993 | 18 | 1993 |
| ZTC: AZ Type Checker, User's Guide, version 2.01 X Jia Division of Software Engineering, School of Computer Science …, 1995 | 17 | 1995 |
| Using a domain specific language for lightweight model-driven development C Jones, X Jia Evaluation of Novel Approaches to Software Engineering: 9th International …, 2015 | 16 | 2015 |
| Simulating global software development in a course environment E Keenan, A Steele, X Jia 2010 5th IEEE International Conference on Global Software Engineering, 201-205, 2010 | 15 | 2010 |
| Formal structured specification for web applications testing X Jia, H Liu, L Qin Proc. of the 2003 Midwest Software Engineering Conference (MSEC'03), 88-97, 2003 | 15 | 2003 |
| A Tutorial of ZANS-AZ Animation System X Jia School of Computer Science, Telecommunication and Information Systems …, 1995 | 14 | 1995 |
