.gif)
] Filters: Author is Lau, K.-K. [Clear All Filters]
"Formal Specification of Catalysis Frameworks",
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), Dec. 5-8, Singapore, 2000.
Abstract
"Intra- and Inter-OOD-Framework Interactions in Component-based Software Development in Computational Logic",
Proc. of the Second International Workshop on Component-based Software Development in Computational Logic (COCL'99), Paris, France, September 27, 1999.
Abstract
"Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues",
Databases and Information Systems: Proceedings of the 4th IEEE International Baltic Workshop, Volume 2, Vilnius, Lithuania, May 1-5, 2000: Vilnius Gediminas Technical University, Lithuanian Computer Society, pp. 63-77, 2000.
Abstract
"Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues",
Data Bases and Information Systems: Fourth International Baltic Workshop on DB and IS (Selected Papers): Kluwer Academic Publishers, 2000.
Abstract
"On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic",
Pre-Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September: Universit\`a C\'a Foscari di Venezia, Dipartamento di Informatica, Rapporto di Ricerca CS-99-16, pp. 65-73, 1999.
Abstract
"On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic",
Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September 1999, Selected papers: Springer-Verlag, LNCS 1817, pp. 43-62, 2000.
Abstract