Travelled to:
1 × United Kingdom
2 × China
Collaborated with:
K.S.Cheung K.O.Chow P.K.Chow
Talks about:
object (3) structur (2) orient (2) construct (1) scenario (1) interact (1) formalis (1) syntact (1) toward (1) specif (1)
Person: T. Y. Cheung
DBLP: Cheung:T=_Y=
Contributed to:
Wrote 3 papers:
- TOOLS-ASIA-1999-CheungCC #modelling #object-oriented #specification
- Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas (KSC, KOC, TYC), pp. 118–125.
- TOOLS-ASIA-1998-CheungCC #interactive #petri net
- Deriving Scenarios Of Object Interaction Through Petri Net (KSC, KOC, TYC), p. 104–?.
- AdaEurope-1997-CheungCC #integration #object-oriented #towards
- Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods (KSC, PKOC, TYC), pp. 173–184.