| 臺大學術典藏 |
2003 |
An XML-based Approach to Processing Imprecise Requirements.
|
Lee, Jonathan; Fanjiang, Yong-Yi; Chen, Tzung-Jie; Lin, Ying-Yan; JONATHAN LEE |
| 臺大學術典藏 |
2003 |
Modeling uncertainty reasoning with possibilistic Petri nets.
|
Lee, Jonathan; Liu, Kevin F. R.; Chiang, Weiling; JONATHAN LEE |
| 臺大學術典藏 |
2002 |
Modeling software architectures with goals in virtual university environment.
|
Hsu, Kuo-Hsun; Lee, Jonathan; JONATHAN LEE |
| 臺大學術典藏 |
2001 |
A note on current approaches to extending fuzzy logic to object-oriented modeling.
|
JONATHAN LEE; Lee, Jonathan; Kuo, Jong-Yih; Xue, Nien-Lin |
| 臺大學術典藏 |
2001 |
Editorial: Selected Papers from IFSA'99.
|
Lee, Jonathan; Wang, Hsiao-Fan; JONATHAN LEE |
| 臺大學術典藏 |
2000 |
Towards the Verification of Scenarios with Time Petri-Nets.
|
JONATHAN LEE; Pan, Jiann-I; Yang, Stephen J. H.; Lee, Jonathan; Kuo, Jong-Yih; Fanjiang, Yong-Yi |
| 臺大學術典藏 |
1999 |
Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.
|
Yang, Stephen J. H.; Chu, William C.; Lee, Jonathan; JONATHAN LEE |
| 臺大學術典藏 |
1998 |
Fuzzy Petri Nets for Modeling Rule-Based Reasoning.
|
JONATHAN LEE; Chiang, Weiling; Liu, Kevin F. R.; Lee, Jonathan |
| 臺大學術典藏 |
1998 |
New Approach to Requirements Trade-Off Analysis for Complex Systems.
|
JONATHAN LEE; Kuo, John-Yih; Lee, Jonathan |
| 臺大學術典藏 |
1998 |
Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.
|
Yang, Stephen J. H.; Lin, Sam; Lee, Jonathan; Chu, William C.; JONATHAN LEE |
| 臺大學術典藏 |
1998 |
FPNES: fuzzy Petri net based expert system for bridges damage assessment.
|
Yang, Stephen J. H.; Chiang, Weiling; Liu, Kevin F. R.; Lee, Jonathan; JONATHAN LEE |
| 臺大學術典藏 |
1997 |
Modeling User Requirements with a Front-End Analysis.
|
JONATHAN LEE; Kuo, Jong-Yih; Liu, Alan; Lee, Jonathan |
| 臺大學術典藏 |
1996 |
Task-Based Specifications Through Conceptual Graphs.
|
Lee, Jonathan;Lai, Lein F.;Huang, Wei T.; Lee, Jonathan; Lai, Lein F.; Huang, Wei T.; JONATHAN LEE |
| 臺大學術典藏 |
1995 |
Expressing JSD in Z.
|
JONATHAN LEE; Lee, Jonathan; Huang, Wei T.; Chang, Cheng-Kai; Pan, Jiann-I; Lee, Jonathan;Huang, Wei T.;Chang, Cheng-Kai;Pan, Jiann-I |
| 臺大學術典藏 |
1995 |
Integrating object-oriented requirements specifications with formal notations.
|
Lee, Jonathan;Pan, Jiann-I;Huang, Wei T.; Lee, Jonathan; Pan, Jiann-I; Huang, Wei T.; JONATHAN LEE |
