Zheng Wang

According to our database, Zheng Wang authored at least 7 papers between 2005 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

Software Component Models.

Kung-Kiu Lau, Zheng Wang

IEEE Trans. Software Eng., 2007

Verified component-based software in SPARK: experimental results for a missile guidance system.

Kung-Kiu Lau, Zheng Wang

Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

2006

Composing Components in Design Phase using Exogenous Connectors.

Kung-Kiu Lau, Ling Ling, Zheng Wang

Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

2005

A Component Model for Separation of Control Flow from Computation in Component-Based Systems.

Kung-Kiu Lau, Vladyslav Ukis, Perla Velasco Elizondo, Zheng Wang

Proceedings of the First Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems, 2005

A Software Component Model and Its Preliminary Formalisation.

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

A Taxonomy of Software Component Models.

Kung-Kiu Lau, Zheng Wang

Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005

Exogenous Connectors for Software Components.

Kung-Kiu Lau, Perla Velasco Elizondo, Zheng Wang

Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005