RCOS (computer sciences): Difference between revisions

Revision as of 03:07, 1 November 2007

Revision as of 16:13, 20 November 2007

Line 10:

*[[He Jifeng]], [[Zhiming Liu]], and Xiaoshan Li. ''A theory of reactive components''.[[Electronic Notes of Theoretical Computer Science]], 160:173–195, 2006.

*Xin Chen, [[He Jifeng]], [[Zhiming Liu]], and Naijun Zhan. ''A model of component-based programming''. Technical Report 350, UNU-IIST, P.OProc. BoxFSEN 30582007, [[Macao]]LNCS SAR4767, [[China]], [[2006]]pp. http://www.iist.unu.edu, Accepted by FSEN’07191-208.

*Xin Chen, [[Zhiming Liu]], and Vladimir Mencl. ''Separation of concerns and consistent integration in requirements modelling''. In Proc. Current Trends in Theory and Practice of [[Computer Science, Lecture Notes in Computer Science]]. Springer, [[2007]].

*Zhenbang Chen, [[Zhiming Liu]], Anders P. Ravn, Volker Stolz and Naijun Zhan. "Refinement and Verification in Component-Based Model Driven Design", Submitted to Science of Computer Programming, Elsevier. (UNU-IIST TR 388)

{{computer-stub}}