Catalysis Frameworks

On the Implementation of Catalysis Frameworks in COM.
S.M. Ho and K.-K. Lau. In J. He, Y. Li and G. Lowe, editors, Proceedings of the Eigth Asia-Pacific Software Engineering Conference, pages 243-250, IEEE Computer Society Press, 2001.
[Abstract] [Paper] [BibTeX]

Formal Specification of Catalysis Frameworks.
J. Küster Filipe, K.-K. Lau, M. Ornaghi, K. Taguchi, H. Yatsu, and A Wills. In J.S. Dong, J. He and M. Purvis, editors, Proc. 7th Asia-Pacific Software Engineering Conference, pages 180-187, IEEE Computer Society Press, 2000.
[Abstract] [Paper] [BibTeX]

Interacting Frameworks in Catalysis.
K.-K. Lau, S. Liu, M. Ornaghi, and A. Wills. In J. Staples, M. Hinchey and S. Liu, editors, Proceedings of the Second IEEE International Conference on Formal Engineering Methods, pages 110-119, IEEE Computer Society Press, 1998.
[Abstract] [Paper] [BibTeX]

Frameworks in Catalysis: Pictorial Notation and Formal Semantics.
K.-K. Lau, M. Ornaghi, and A. Wills. In M. Hinchey and S. Liu, editors, Proceedings of the First IEEE International Conference on Formal Engineering Methods, pages 213-220, IEEE Computer Society, 1997.
[Abstract] [Paper] [BibTeX]


Back to Kung-Kiu Lau's home page