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]