Ruzhen Dong
Ruzhen Dong
Department of Computer Science, Pisa University
Bestätigte E-Mail-Adresse bei di.unipi.it
Titel
Zitiert von
Zitiert von
Jahr
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
92012
rCOS: defining meanings of component-based software architectures
R Dong, J Faber, W Ke, Z Liu
Unifying Theories of Programming and Formal Engineering Methods, 1-66, 2013
82013
An interface model of software components
R Dong, N Zhan, L Zhao
International Colloquium on Theoretical Aspects of Computing, 159-176, 2013
42013
Towards a failure model of software components
R Dong, N Zhan
International Workshop on Formal Aspects of Component Software, 119-136, 2013
22013
A Theory of Interface Modeling of Component-Based Software
R Dong
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7