Xiaoping Jia, Ph.D.ProfessorDirector, Institute for Software Engineering School of Computer Science, Telecommunication, and Information Systems DePaul University
|
Autumn Quarter 2005/2006 (2005/09/07 -- 2005/11/23)
My advising hours for the Autumn quarter 2005/2006 are Friday 3:00pm - 6:00pm at the Loop Campus. You should make appointments through the web. If you want to reach me, the best way is to send an e-mail to xjia@cti.depaul.edu.
Autumn Quarter 2005/2006 (2005/09/07 -- 2005/11/23)
Research Interests
My current research interests include:Model-driven architecture Formal methods, languages, specifications, analysis,and code synthesis Object-oriented enterprise application development Java enterprise technologies, security and performance Software development for mobile and wireless devices XML transformation, schema, and applications in software development Object-oriented design patterns Object-oriented development environments and tools Implementation of object-oriented languages Research Publications
Here is a list of my reserach publications.Research Projects
- Model-Driven Development using ZOOM
- The ZOOM Notation
- Interpretation and animation tools
- User interface and interaction modeling
- Evant-based integration framework of structural, behavioral, and user interface models
- Knowledge-based model compilation
- Notations and tools for visual modeling
- Better notations for visual modeling of software
- Better tools and techniques for constucting visual models
Funded Research Projects
- Inter-University Software Engineering Education
Funded by the National Science Foundation.- Design Refinement and Code Synthesis Based on Z Specifications
Funded by the National Science Foundation.DePaul CTI/Software Engineering Symposia
2004 Midwest Software Engineering Conference, April 2004 2003 DePaul CTI Research Symposium, November 2003 2003 Midwest Software Engineering Conference, June 2003 2002 DePaul CTI Research Symposium, November 2002 2002 Software Engineering Symposium, June 2002 2001 DePaul CTI Research Symposium The Spring 2001 Software Engineering Symposium DePaul CTI Research Symposium, Fall 2000 DePaul CTI Research Symposium, Fall 1999, 1999Software
A number of research prototypes developed by myself with the assistance from the students in the formal methods research group are available.