| 2006 |
|---|
| 7 | EE | K. S. Cheung,
T. Y. Cheung,
K. O. Chow:
A petri-net-based synthesis methodology for use-case-driven system design.
Journal of Systems and Software 79(6): 772-790 (2006) |
| 1999 |
|---|
| 6 | EE | K. S. Cheung,
K. O. Chow,
T. Y. Cheung:
Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas.
TOOLS (31) 1999: 118-125 |
| 1998 |
|---|
| 5 | EE | K. S. Cheung,
K. O. Chow,
T. Y. Cheung:
Deriving Scenarios Of Object Interaction Through Petri Net.
TOOLS (27) 1998: 104- |
| 1997 |
|---|
| 4 | | K. S. Cheung,
Paul Kai-on Chow,
T. Y. Cheung:
Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods.
Ada-Europe 1997: 173-184 |
| 1996 |
|---|
| 3 | | W. M. Mak,
T. Y. Cheung:
Minimal Coverage for Relationships in Regression Testing of Object-Oriented Software.
OOIS 1996: 106- |
| 1989 |
|---|
| 2 | | T. Y. Cheung,
Y. C. Ye,
X. Ye,
G. Q. Wang:
UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS.
FORTE 1989: 31-36 |
| 1976 |
|---|
| 1 | EE | Clement T. Yu,
W. S. Luk,
T. Y. Cheung:
A Statistical Model for Relevance Feedback in Information Retrieval.
J. ACM 23(2): 273-286 (1976) |
