Ruzhen Dong

According to our database, Ruzhen Dong authored at least 5 papers between 2012 and 2015.

Collaborative distances:

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

2015

A Theory of Interface Modeling of Component-Based Software.

Ruzhen Dong

PhD thesis, 2015

2013

An Interface Model of Software Components.

Ruzhen Dong, Naijun Zhan, Liang Zhao

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

rCOS: Defining Meanings of Component-Based Software Architectures.

Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu

Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

Towards a Failure Model of Software Components.

Ruzhen Dong, Naijun Zhan

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2012

Unblockable compositions of software components.

Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu

Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012