Zhaoxia Hu (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Jiexin Lian, Zhaoxia Hu, Sol M. Shatz: Simulation-based analysis of UML statechart diagrams: methods and case studies. Software Quality Journal 16(1): 45-78 (2008)

4 Zhaoxia Hu, Sol M. Shatz: Explicit modeling of semantics associated with composite states in UML statecharts. Autom. Softw. Eng. 13(4): 423-467 (2006)

3 Zhaoxia Hu, Sol M. Shatz: A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study. Software Engineering Research and Practice 2005: 361-367

2 Zhaoxia Hu, Sol M. Shatz: Mapping UML Diagrams to a Petri Net Notation for System Simulation. SEKE 2004: 213-219

1 John Anil Saldhana, Sol M. Shatz, Zhaoxia Hu: Formalization of Object Behavior and Interactions from UML Models. International Journal of Software Engineering and Knowledge Engineering 11(6): 643-673 (2001)

Selection of 5 from 5 records - Zhaoxia Hu has 3 coauthors

5		Jiexin Lian, Zhaoxia Hu, Sol M. Shatz: Simulation-based analysis of UML statechart diagrams: methods and case studies. Software Quality Journal 16(1): 45-78 (2008)
4		Zhaoxia Hu, Sol M. Shatz: Explicit modeling of semantics associated with composite states in UML statecharts. Autom. Softw. Eng. 13(4): 423-467 (2006)
3		Zhaoxia Hu, Sol M. Shatz: A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study. Software Engineering Research and Practice 2005: 361-367
2		Zhaoxia Hu, Sol M. Shatz: Mapping UML Diagrams to a Petri Net Notation for System Simulation. SEKE 2004: 213-219
1		John Anil Saldhana, Sol M. Shatz, Zhaoxia Hu: Formalization of Object Behavior and Interactions from UML Models. International Journal of Software Engineering and Knowledge Engineering 11(6): 643-673 (2001)