Wei T. Huang

Publication Activity (10 Years)

Years Active: 1995-1997
Publications (10 Years): 0

Publications

Jonathan Lee, Jiann-I Pan, Wei T. Huang
OOSZ: An Integration of Bailin's Object-Oriented Analysis and Formal Specifications. J. Inf. Sci. Eng. 13 (4) (1997)
Stephen J. H. Yang, William C. Chu, Jonathan Lee, Wei T. Huang
A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning. COMPSAC (1997)
Jonathan Lee, Lein F. Lai, Wei T. Huang
A Task-Based Approach to Verifying Conceptual Models. COMPSAC (1996)
Jonathan Lee, Lein F. Lai, Wei T. Huang
Task-Based Specifications Through Conceptual Graphs. IEEE Expert 11 (4) (1996)
Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan
Expressing JSD in Z. COMPSAC (1995)
Jonathan Lee, Jiann-I Pan, Wei T. Huang
Integrating object-oriented requirements specifications with formal notations. ICTAI (1995)