Enoch Y. Wang

According to our database, Enoch Y. Wang authored at least 5 papers between 1994 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling.

Betty H. C. Cheng, Enoch Y. Wang

IEEE Trans. Software Eng., 2002

2000

Formalizing the Functional Model within Object-Oriented Design.

Enoch Y. Wang, Betty H. C. Cheng

Int. J. Softw. Eng. Knowl. Eng., 2000

Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.

Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1997

Formalizing and Integrating the Dynamic Model within OMT.

Enoch Y. Wang, Heather A. Richter, Betty H. C. Cheng

Proceedings of the Pulling Together, 1997

1994

A Graphical Environment for Formally Developing Object-Oriented Software.

Betty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994