Zhijiang Dong

According to our database, Zhijiang Dong authored at least 23 papers between 2001 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Formal Modeling and Analysis of Collaborative Humanoid Robotics.

Yujian Fu, Zhijiang Dong, Xudong He

Int. J. Robotics Appl. Technol., 2018

A Systematic Approach for Developing Cyber Physical Systems.

Xudong He, Zhijiang Dong, Yujian Fu

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

2017

A Framework for Developing Cyber-Physical Systems.

Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu

Int. J. Softw. Eng. Knowl. Eng., 2017

2015

Runtime Verification on Robotics Systems.

Zhijiang Dong, Yujian Fu, Yue Fu

Int. J. Robotics Appl. Technol., 2015

2012

Can we teach algorithm development skills?

Jungsoon P. Yoo, Sung K. Yoo, Suk Jai Seo, Zhijiang Dong, Chrisila C. Pettey

Proceedings of the 50th Annual Southeast Regional Conference, 2012

2011

PeerSpace - An Online Collaborative Learning Environment for Computer Science Students.

Cen Li, Zhijiang Dong, Roland H. Untch, Michael Chasteen, Nathan Reale

Proceedings of the ICALT 2011, 2011

PeerSpace: An Online Peer Collaborative Learning Environment for First Year Computer Science Students.

Cen Li, Zhijiang Dong, Roland H. Untch, Nathan Reale, Michael Chasteen

Proceedings of the 9th International Conference on Computer Supported Collaborative Learning, 2011

Preparation station: a practice tool for CS1 and CS2 students in peerspace.

Cen Li, Zhijiang Dong, Roland H. Untch, Divya Jagadeesh

Proceedings of the 49th Annual Southeast Regional Conference, 2011

Build peer support network for CS2 students.

Zhijiang Dong, Cen Li, Roland H. Untch

Proceedings of the 49th Annual Southeast Regional Conference, 2011

2010

Incorporating real-world projects in teaching computer science courses.

Richard Detmer, Cen Li, Zhijiang Dong, Judy Hankins

Proceedings of the 48th Annual Southeast Regional Conference, 2010

2009

Modular Analysis of Software Architecture Model.

Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li

Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

2008

Mapping Software Architecture Specification to Rewriting Logic (Short Paper).

Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He

Proceedings of the Eighth International Conference on Quality Software, 2008

2007

A Translator of Software Architecture Design from SAM to Java.

Yujian Fu, Zhijiang Dong, Xudong He

Int. J. Softw. Eng. Knowl. Eng., 2007

An Approach to Validating Translation Correctness From SAM to Java.

Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

2006

A Framework for Component-based System Modeling.

Zhijiang Dong, Yujian Fu, Xudong He

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

A Method for Realizing Software Architecture Design.

Yujian Fu, Zhijiang Dong, Xudong He

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Formalizing and validating UML architecture description of web systems.

Yujian Fu, Zhijiang Dong, Xudong He

Proceedings of the Workshop Proceedings of the 6th International Conference on Web Engineering, 2006

Modeling, validating and automating composition of web services.

Yujian Fu, Zhijiang Dong, Xudong He

Proceedings of the 6th International Conference on Web Engineering, 2006

2005

A Methodology of Automated Realization of a Software Architecture Design.

Yujian Fu, Zhijiang Dong, Xudong He

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Automated Runtime Validation of Software Architecture Design.

Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He

Proceedings of the Distributed Computing and Internet Technology, 2005

An Approach to Validation of Software Architecture Model.

Yujian Fu, Zhijiang Dong, Xudong He

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2003

Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams.

Zhijiang Dong, Yujian Fu, Xudong He

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

2001

Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets.

Zhijiang Dong, Xudong He

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001