Enoch Y. Wang

Publication Activity (10 Years)

Years Active: 1994-2002
Publications (10 Years): 0

Publications

Betty H. C. Cheng, Enoch Y. Wang
Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling. IEEE Trans. Software Eng. 28 (8) (2002)
Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang
Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. DSN (2000)
Enoch Y. Wang, Betty H. C. Cheng
Formalizing the Functional Model within Object-Oriented Design. Int. J. Softw. Eng. Knowl. Eng. 10 (1) (2000)
Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng
Formalizing and Integrating the Dynamic Model within OMT. ICSE (1997)
Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau
A Graphical Environment for Formally Developing Object-Oriented Software. ICTAI (1994)