Follow
Ruzhen Dong
Ruzhen Dong
Department of Computer Science, Pisa University
Verified email at di.unipi.it
Title
Cited by
Cited by
Year
rCOS: Defining meanings of component-based software architectures
R Dong, J Faber, W Ke, Z Liu
Unifying Theories of Programming and Formal Engineering Methods …, 2013
102013
Unblockable compositions of software components
R Dong, J Faber, Z Liu, J Srba, N Zhan, J Zhu
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software …, 2012
82012
An interface model of software components
R Dong, N Zhan, L Zhao
Theoretical Aspects of Computing–ICTAC 2013: 10th International Colloquium …, 2013
52013
Towards a failure model of software components
R Dong, N Zhan
Formal Aspects of Component Software: 10th International Symposium, FACS …, 2014
22014
A Theory of Interface Modeling of Component-Based Software.
R Dong
University of Pisa, Italy, 2015
2015
A Theory of Interface Modeling of Component-Based Software—A Ph. D Research Proposal
R Dong
Refinement and Real-time Extension of rCOS—a PHD Research Proposal
R Dong
The system can't perform the operation now. Try again later.
Articles 1–7