Address:
Room 359
Dipartimento di Informatica
Largo
B. Pontecorvo, 3
I-56127 Pisa
Italy
Contacts
- Email: dong-at-di.unipi.it
- Mobile: +39 3738699883
- Address:
Room 359
Dipartimento di Informatica Largo B. Pontecorvo, 3
- Component-based Design
- Formal Methods
- Web Services
Publications:
2013
R. Dong, and N. Zhan, "Towards a Failure Model of Software Components", The 10th International Symposium on Formal Aspects of Component Software(FACS 2013), Nanchang, China, Springer, 2013.
R. Dong, N. Zhan, and L. Zhao, "An Interface Model of Software Components", International Colloquium on Theoretical Aspects of Computing(ICTAC 2013), Shanghai,China, Springer, 2013.
R. Dong, J. Faber, W. Ke, and Z. Liu, "rCOS: Defining Meanings of Component-Based Software Architectures", Unifying Theories of Programming and Formal Engineering Methods, Springer, 2013.
2012
R. Dong, J. Faber, Z. Liu, Jiri Srba, N. Zhan, and J. Zhu, "Unblockable Compositions of Software Components", CBSE 2012, Bertinoro, Italy, ACM New York, NY, USA , 06/2012.