RCOS (computer sciences): Difference between revisions

Revision as of 19:17, 16 August 2010

Revision as of 01:58, 19 September 2010

Line 15:

*[[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''. Proc. FSEN 2007, [[Computer Science, Lecture Notes in Computer Science]] 4767, pp. 191-208 191–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), [[2007]].

{{Uncategorized|date=September 2010}}

{{computer-stub}}