Zheng Wang

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Kung-Kiu Lau, Zheng Wang
Software Component Models. IEEE Trans. Software Eng. 33 (10) (2007)
Kung-Kiu Lau, Zheng Wang
Verified component-based software in SPARK: experimental results for a missile guidance system. SIGAda (2007)
Kung-Kiu Lau, Ling Ling, Zheng Wang
Composing Components in Design Phase using Exogenous Connectors. EUROMICRO-SEAA (2006)
Kung-Kiu Lau, Vladyslav Ukis, Perla Velasco Elizondo, Zheng Wang
A Component Model for Separation of Control Flow from Computation in Component-Based Systems. Electron. Notes Theor. Comput. Sci. 163 (1) (2006)
Kung-Kiu Lau, Zheng Wang
A Taxonomy of Software Component Models. EUROMICRO-SEAA (2005)
Kung-Kiu Lau, Perla Velasco Elizondo, Zheng Wang
Exogenous Connectors for Software Components. CBSE (2005)
Kung-Kiu Lau, Mario Ornaghi, Zheng Wang
A Software Component Model and Its Preliminary Formalisation. FMCO (2005)