Wei T. Huang

According to our database, Wei T. Huang authored at least 6 papers between 1995 and 1997.

Collaborative distances:

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

1997

OOSZ: An Integration of Bailin's Object-Oriented Analysis and Formal Specifications.

Jonathan Lee, Jiann-I Pan, Wei T. Huang

J. Inf. Sci. Eng., 1997

A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning.

Stephen J. H. Yang, William C. Chu, Jonathan Lee, Wei T. Huang

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

Task-Based Specifications Through Conceptual Graphs.

Jonathan Lee, Lein F. Lai, Wei T. Huang

IEEE Expert, 1996

A Task-Based Approach to Verifying Conceptual Models.

Jonathan Lee, Lein F. Lai, Wei T. Huang

Proceedings of the COMPSAC '96, 1996

1995

Integrating object-oriented requirements specifications with formal notations.

Jonathan Lee, Jiann-I Pan, Wei T. Huang

Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995

Expressing JSD in Z.

Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995