Characterising Object-based Frameworks in First-order Predicate Logic.
S.M. Ho and K.-K. Lau. In Z. Liu and J. He, editors,
Mathematical Frameworks for Component Software,
Chapter 8,
pages 221-254,
World Scientific, 2006.
Vol. 2, Series on Component-based Software Development.
[Abstract] [Paper]
[BibTeX]
Specifying Compositional Units for Correct Program
Development in Computational Logic.
K.-K. Lau and M. Ornaghi. In
M. Bruynooghe and K.-K. Lau, editors, Program Development in
Computational Logic, Lecture Notes in Computer Science 3049:1-29,
Springer-Verlag, 2004.
[Abstract] [Paper]
[BibTeX]
Correct OO Systems in Computational Logic.
K.-K. Lau and M. Ornaghi. In
A. Pettorossi, editor, Proceedings of the Eleventh
International Workshop on Logic-based Program
Synthesis and Transformation, Lecture Notes in Computer
Science 2372:168-190, Springer-Verlag, 2002.
[Abstract] [Paper]
[BibTeX]
On the Implementation of OOD Frameworks in COM.
S.M. Ho and K.-K. Lau.
In Proceedings of EUROMICRO 2001 Workshop on Component-based
Software Engineering,
pages 40-47, IEEE Computer Society Press, 2001.
[Abstract] [Paper]
[BibTeX]
Object-Oriented Design Frameworks:
Formal Specification and Some Implementation Issues.
I. Crnkovic, J. Küster Filipe, M. Larsson, and K.-K. Lau.
In J. Barzdins and A. Caplinskas, editor, Databases and Information Systems:
Fourth International Baltic Workshop,
pages 237-252, Kluwer, 2001.
[Abstract] [Paper]
[BibTeX]
On the Implementation of OOD Frameworks in COM.
On Dynamic Aspects of OOD Frameworks in Component-based Software Development
in Computational Logic.
J. Küster Filipe, K.-K. Lau, M. Ornaghi, and H. Yatsu.
In A. Bossi, editor, Proceedings of LOPSTR'99, Lecture Notes in Computer
Science 1817:43-62, Springer-Verlag, 2000.
[Abstract] [Paper]
[BibTeX]
Component Configuration Management for Frameworks.
I. Crnkovic, M. Larsson, and K.-K. Lau. In J. Han, S.D. Kim, and T. Kishi, editors,
Proceedings of the Workshop on Software Architecture and
Components, pages 83-88, Takamatsu, Japan, December 1999.
[Abstract] [Paper]
[BibTeX]
Intra- and Inter-OOD-Framework Interactions in Component-based
Software Development in Computational Logic.
J. Küster Filipe, K.-K. Lau, M. Ornaghi, and H. Yatsu.
In A. Brogi and P. Hill, editors,
Proceedings of
the Second International Workshop on Component-based Software Development in
Computational Logic,
Paris, France,
September 1999. Abstact on page 7.
[Abstract][Paper][BibTeX]
OOD Frameworks in Component-based Software Development in
Computational Logic.
K.-K. Lau and M. Ornaghi.
In P. Flener, editor, Proceedings of LOPSTR'98,
Lecture Notes in Computer Science 1559, pages 101-123, Springer-Verlag,
1999.
[Abstract] [Paper]
[BibTeX]
On Specification and Correctness of OOD Frameworks in
Computational Logic.
K.-K. Lau and M. Ornaghi. In A. Brogi and P. Hill, editors,
Proceedings of the First International Workshop on Component-based
Software Development in Computational Logic,
pages 59-75, Pisa, Italy, September 1998.
[Abstract] [Paper] [BibTeX]