| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 42 |       | Kung-Kiu Lau, Zheng Wang: Verified component-based software in SPARK: experimental results for a missile guidance system. SIGAda 2007: 51-58 |
| 39 | | Kung-Kiu Lau, Zheng Wang: Software Component Models. IEEE Trans. Software Eng. 33(10): 709-724 (2007) |
| 38 | | Kung-Kiu Lau, Ling Ling, Zheng Wang: Composing Components in Design Phase using Exogenous Connectors. EUROMICRO-SEAA 2006: 12-19 |
| 33 | | Kung-Kiu Lau, Vladyslav Ukis, Perla Velasco Elizondo, Zheng Wang: A Component Model for Separation of Control Flow from Computation in Component-Based Systems. Electr. Notes Theor. Comput. Sci. 163(1): 57-69 (2006) |
| 30 | | Kung-Kiu Lau, Perla Velasco Elizondo, Zheng Wang: Exogenous Connectors for Software Components. CBSE 2005: 90-106 |
| 28 | | Kung-Kiu Lau, Zheng Wang: A Taxonomy of Software Component Models. EUROMICRO-SEAA 2005: 88-95 |
| 27 | | Kung-Kiu Lau, Mario Ornaghi, Zheng Wang: A Software Component Model and Its Preliminary Formalisation. FMCO 2005: 1-21 |
Selection of 7 from 186 records - Zheng Wang has 296 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page