| |
| 2002 | ||
|---|---|---|
| 5 | EE | Betty H. C. Cheng, Enoch Y. Wang: Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling. IEEE Trans. Software Eng. 28(8): 747-762 (2002) |
| 2000 | ||
| 4 | EE | Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang: Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. DSN 2000: 305- |
| 3 | Enoch Y. Wang, Betty H. C. Cheng: Formalizing the Functional Model within Object-Oriented Design. International Journal of Software Engineering and Knowledge Engineering 10(1): 5-30 (2000) | |
| 1997 | ||
| 2 | EE | Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng: Formalizing and Integrating the Dynamic Model within OMT. ICSE 1997: 45-55 |
| 1994 | ||
| 1 | Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau: A Graphical Environment for Formally Developing Object-Oriented Software. ICTAI 1994: 26-32 | |
| 1 | Robert H. Bourdeau | [1] |
| 2 | Laura A. Campbell | [4] |
| 3 | Betty H. C. Cheng | [1] [2] [3] [4] [5] |
| 4 | Heather Richter (Heather A. Richter) | [2] |