| |
| 1996 | ||
|---|---|---|
| 5 | EE | Robert H. Bourdeau, Betty H. C. Cheng: Correspondence: Response to Botting's Comments. IEEE Trans. Software Eng. 22(12): 911 (1996) |
| 1995 | ||
| 4 | EE | Robert H. Bourdeau, Betty H. C. Cheng: A Formal Semantics for Object Model Diagrams. IEEE Trans. Software Eng. 21(10): 799-821 (1995) |
| 1994 | ||
| 3 | Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau: A Graphical Environment for Formally Developing Object-Oriented Software. ICTAI 1994: 26-32 | |
| 2 | Betty H. C. Cheng, Robert H. Bourdeau, Gerald C. Gannod: The object-oriented development of a distributed multimedia environmental information system. SEKE 1994: 70-77 | |
| 1993 | ||
| 1 | Michael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng: An Integrated Development Environment for Formal Specifications. SEKE 1993: 681-688 | |
| 1 | Betty H. C. Cheng | [1] [2] [3] [4] [5] |
| 2 | Gerald C. Gannod | [2] |
| 3 | Michael R. Laux | [1] |
| 4 | Enoch Y. Wang | [3] |