Folgen
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7