Keynote Speech
Towards Domain-specific Software Component Models
©¤ Dr. Kung-Kiu Lau from University of Manchester, UK
¡¡

Abstract
A software component model defines components and their composition mechanisms, and thus provides the basis for a component-based approach to software development. For domain-specific applications, we believe it is best to use a domain-specific component model. Morever, we believe such models can and should be derived from domain models. In this talk, we will outline our ideas along these lines.
¡¡
Kung-Kiu Lau holds BSc and PhD degrees from the University of Leeds, UK. After a temporary appointment at Leeds, he moved to the University of Manchester, UK, where he is now a senior lecturer. His main research area is Component-based Software Development and Formal Program Development in Computational Logic.

He is the series editor of a book series on Component-based Software Development, published by World Scientific. He is an area editor (Logic and Software Engineering) of the Journal of Applied Logic.

He has served on numerous international conference program committees. Most recently, he was on the program committees for the International Automated Software Engineering Conference (2000-2005), the International Symposium on Component-based Software Engineering (2005-2008), and the International Symposium on Software Composition (2006-2007).

He was program chair for the Seventh International Conference on Formal Engineering Methods (2005) and for the Component-based Software Engineering Track at the Thirty-fourth Euromicro Conference on Software Engineering and Advanced Applications (2008).

He has also delivered invited talks and tutorials at many international meetings. Most recently, he delivered an invited keynote talk at the Fourth International Symposium on Formal Methods for Components and Objects, and tutorials (on Software Component Models) at the Twentieth IEEE/ACM International Conference on Automated Software
Engineering (2005) and the Twenty-eighth International Conference on Software Engineering (2006).