A Component Model that is both Control-driven and Data-driven.
K.-K. Lau, L. Safie, P. Štěpán and C. Tran. In A. Bertolino and K. Cooper, editors,
Proceedings of Fourteenth International Symposium on Component-based Software Engineering, pages 41-50, ACM, 2011.
[Abstract][Paper]
[BibTeX]
Constructing Component-based Systems Directly from Requirements using Incremental Composition.
K.-K. Lau, A. Nordin, T. Rana and F. Taweel.
In Proceedings of Thirty-sixth
Euromicro Conference on Software Engineering and Advanced
Applications, pages 85-93, IEEE, 2010.
[Abstract][Paper]
[BibTeX]
A Taxonomy of Software Composition Mechanisms.
K.-K. Lau and T. Rana.
In Proceedings of Thirty-sixth
Euromicro Conference on Software Engineering and Advanced
Applications, pages 102-110, IEEE, 2010.
[Abstract][Paper]
[BibTeX]
A Catalogue of Component Connectors to Support Development with Reuse.
P. Velasco Elizondo and K.-K. Lau. The Journal of Systems and Software 83(1165-1178), 2010.
[Abstract][Paper]
[BibTeX]
(Behavioural) {Design} patterns as composition operators.
K.-K. Lau, I. Ntalamagkas, C. Tran and T. Rana. In L. Grunske, R. Reussner and F. Plasil, editors, Proceedings of Thirteenth International Symposium on Component-based Software Engineering, Lecture Notes in Computer Science 6092(232-251), Springer-Verlag, 2010.
[Abstract][Paper]
[BibTeX]
Component-based Construction of Concurrent Systems with Active
Components.
K.-K. Lau and I. Ntalamagkas. In Proceedings of Thirty-fifth
Euromicro Conference on Software Engineering and Advanced
Applications, pages 497-502, IEEE, 2009.
[Abstract][Paper]
[BibTeX]
Domain-specific Software Component Models.
K.-K. Lau and F.M. Taweel.
In G. Lewis, I. Poernomo and C. Hofmeister, editors,
Proceedings of Twelfth International
Symposium on Component-based Software Engineering,
Lecture Notes in Computer Science 5582:19-35,
Springer-Verlag, 2009.
[Abstract][Paper]
[BibTeX]
Control Encapsulation: A Calculus for Exogenous Composition.
K.-K. Lau and M. Ornaghi.
In G. Lewis, I. Poernomo and C. Hofmeister, editors,
Proceedings of Twelfth International
Symposium on Component-based Software Engineering,
Lecture Notes in Computer Science 5582:121-139,
Springer-Verlag, 2009.
[Abstract][Paper]
[BibTeX]
Server-side Exception Handling by Composite Web Services.
K.-K. Lau and C.M. Tran. In W. Binder and S. Dustdar, editors,
Proceedings of Third Workshop on Emerging Web
Services Technology, pages 30-44, 2008.
[Abstract][Paper]
[BibTeX]
A compositional approach to active and passive components.
K.-K. Lau and I. Ntalamagkas. In Proceedings of Thirty-fourth
Euromicro Conference on Software Engineering and Advanced
Applications, pages 76-83, IEEE, 2008.
[Abstract][Paper]
[BibTeX]
Composite Web Services.
K.-K. Lau and C.M. Tran. In C. Pautasso and
T. Gschwind, editors, Proceedings of Emerging Web
Services Technology, Volume II,
pages 77-95, Birkhauser Verlag Basel, 2008.
[Abstract][Paper]
[BibTeX]
Verified Component-based Software in SPARK: Experimental
Results for a Missile Guidance System.
K.-K. Lau and Z. Wang. In Proceedings of 2007 ACM SIGAda Annual
International Conference,
pages 51-57, ACM, 2007.
Winner of the Outstanding Student Paper award.
[Abstract][Paper]
[BibTeX]
Composite Connectors for Composing Software Components.
K.-K. Lau, L. Ling, P. Velasco Elizondo and V. Ukis.
In M. Lumpe and W. Vanderperren, editors, Proceedings of the
Sixth International Symposium on Software
Composition, Lecture Notes in Computer Science 4829:266-280,
Springer-Verlag, 2007.
[Abstract][Paper]
[BibTeX]
Software Component Models.
K.-K. Lau and Z. Wang. IEEE Transactions on Software Engineering
33(10):709-724, October 2007.
[Abstract][Paper]
[BibTeX]
Applying
Deployment Contracts to Components from Component Repositories.
K.-K. Lau and V. Ukis.
Pre-print CSPP-42, School of Computer Science,
The University of Manchester, August 2007.
[Abstract][Report]
[BibTeX]
Data Encapsulation in Software Components.
K.-K. Lau and F. Taweel. In H.W. Schmidt et al., editors,
Proceedings of Tenth International
Symposium on Component-based Software Engineering,
Lecture Notes in Computer Science 4608:1-16,
Springer-Verlag, 2007.
[Abstract] [Paper]
[BibTeX]
A Study of Execution Environments for Software Components.
K.-K. Lau and V. Ukis.
In H.W. Schmidt et al., editors,
Proceedings of Tenth International
Symposium on Component-based Software Engineering,
Lecture Notes in Computer Science 4608:107-123,
Springer-Verlag, 2007.
[Abstract] [Paper]
[BibTeX]
Towards Composing Software Components in both Design and Deployment Phases.
K.-K. Lau, L. Ling and P. Velasco Elizondo.
In H.W. Schmidt et al., editors,
Proceedings of Tenth International
Symposium on Component-based Software Engineering,
Lecture Notes in Computer Science 4608:274-282,
Springer-Verlag, 2007.
[Abstract] [Paper]
[BibTeX]
On Characteristics and Differences of
Component Execution Environments.
K.-K. Lau and V. Ukis.
Pre-print CSPP-41, School of Computer Science,
The University of Manchester, February 2007.
[Abstract][Report]
[BibTeX]
A Component-based Approach to Verified Software:
What, Why, How and What Next?
K.-K. Lau, Z. Wang, A. Wang and M. Gu.
In X. Chen, Z. Liu and M. Reed, editors,
Proceedings of the First Asian Working Conference on Verified
Software, pages 225-229, UNU-IIST Report No. 347, 2006.
[Abstract][Paper]
[BibTeX]
Data
Encapsulation in Component-based Software Systems.
K.-K. Lau and F.M. Taweel. Pre-print CSPP-39, School of Computer Science,
The University of Manchester, September 2006.
[Abstract][Report]
[BibTeX]
Composing Components in Design Phase
using Exogenous Connectors
K.-K. Lau, L. Ling and Z. Wang. In
Proceedings of
Thirty-second
Euromicro Conference on Software Engineering and Advanced Applications,
pages 12-19, IEEE Computer Society Press, 2006.
[Abstract][Paper]
[BibTeX]
Automatic Control Flow Generation from Software
Architectures
K.-K. Lau and V. Ukis. In W. Löwe and M. Südholt, editors,
Proceedings of
Fifth International Symposium on
Software Composition, Lecture Notes in Computer Science 4089:323-338,
Springer-Verlag, 2006.
[Abstract][Paper]
[BibTeX]
A Software Component Model and its Preliminary Formalisation.
K.-K. Lau, M. Ornaghi and Z. Wang. In F.S. de Boer et al., editors,
Proceedings of Fourth
International Symposium on Formal Methods for Components and
Objects, Lecture Notes in Computer Science 4111:1-21,
Springer-Verlag, 2006. Invited keynote talk.
[Abstract][Paper]
[BibTeX]
Software Component Models.
K.-K. Lau. In Proceedings of
Twenty-eighth International Conference on Software Engineering,
pages 1081-1082, ACM Press, 2006. Abstract of tutorial.
[Abstract][Paper]
[BibTeX]
A
Survey of Software Component Models (second edition).
K.-K. Lau and Z. Wang. Pre-print CSPP-38, School of Computer Science,
The University of Manchester, May 2006.
[Abstract][Report]
[BibTeX]
Towards Encapsulating Data in Component-based Software Systems.
K.-K. Lau and F.M. Taweel. In I. Gorton et al., editors,
Proceedings of Ninth International
Symposium on Component-based Software Engineering.
Lecture Notes in Computer Science 4063:1-16, Springer-Verlag, 2006.
[Abstract][Paper]
[BibTeX]
Defining and Checking Deployment Contracts for
Software Components.
K.-K. Lau and V. Ukis. In I. Gorton et al., editors,
Proceedings of Ninth International
Symposium on Component-based Software Engineering.
Lecture Notes in Computer Science 4063:1-16, Springer-Verlag, 2006.
[Abstract][Paper]
[BibTeX]
A Reasoning Framework for Deployment Contracts Analysis.
K.-K. Lau and V. Ukis. Pre-print CSPP-37, School of Computer Science,
The University of Manchester, June 2006.
[Abstract][Report]
[BibTeX]
Deployment Contracts for Software Components.
.
K.-K. Lau and V. Ukis. Pre-print CSPP-36, School of Computer Science,
The University of Manchester, February 2006.
[Abstract][Report]
[BibTeX]
A Component Model for Separation of Control Flow from Computation in
Component-Based Systems.
K.-K. Lau, V. Ukis, P. Velasco and Z. Wang.
Electronic Notes in Theoretical Computer Science 163:57-69, 2006,
Elsevier.
[Abstract][Paper]
[BibTeX]
Component Metadata in
Component-based Software
Development: A Survey
.
K.-K. Lau and V. Ukis. Pre-print CSPP-34, School of Computer Science,
The University of Manchester, October 2005.
[Abstract][Report]
[BibTeX]
A Container for Automatic System
Control Flow Generation using
Exogenous Connectors.
K.-K. Lau and V. Ukis. Pre-print CSPP-31, School of Computer Science,
The University of Manchester, August 2005.
[Abstract][Report]
[BibTeX]
A Taxonomy of Software Component Models.
K.-K. Lau and Z. Wang. In Proceedings of Thirty-first Euromicro
Conference, pages 88--95. IEEE Computer Society Press, 2005.
[Abstract][Paper]
[BibTeX]
A Survey of Software Component Models.
K.-K. Lau and Z. Wang. Pre-print CSPP-30, School of Computer Science,
The University of Manchester, April 2005.
[Abstract][Report]
[BibTeX]
Exogenous Connectors for Software Components.
K.-K. Lau, P. Velasco Elizondo and Z. Wang. In G.T. Heineman et
al., editors, Proceedings of Eighth International
SIGSOFT Symposium on Component-based Software Engineering.
Lecture Notes in Computer Science 3489:90-106, Springer-Verlag, 2005.
[Abstract][Paper]
[BibTeX]