| 亞洲大學 |
1993-06 |
Schedulability Analysis of Real-Time Software Using Timing Constraints Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1993-04 |
A Requirement Specification Language for Autonomous Decentralized Systems Development
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1993-04 |
Timing Constraints Petri Nets and Their Application to Schedulability Analysis of Real-Time Software
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1993 |
Fuzzy Operator Logic and Fuzzy Reasoning
|
Jeffrey J. P. Tsai;X.H. Liu;T. Weigert |
| 亞洲大學 |
1992.10 |
A Framework for Knowledge-Based Systems Verification
|
蔡進發;Jeffrey, J.P.Tsai;H.Jang;H.Jang |
| 亞洲大學 |
1992.09 |
A Framework of Logic-Based Transformation System
|
蔡進發;Jeffrey, J.P.Tsai;R.Sheu;R.Sheu;B.Li;B.Li |
| 亞洲大學 |
1992.09 |
Visualization and Debugging Distributed Real-Time Software Systems
|
蔡進發;Jeffrey, J.P.Tsai;S.Yang;S.Yang;Y.Bi;Y.Bi |
| 亞洲大學 |
1992-12 |
A Hybrid Knowledge Representation as a Basis of Requirements Specification and Specification Analysis
|
Jeffrey J. P. Tsai;T. Weigert;H. Jang |
| 亞洲大學 |
1992-10 |
A Framework for Knowledge-Based Systems Verification
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1992-09 |
An Explication of Reasoning in Multiple Inheritance Systems Through Non-Monotonic Horn Clause Logic
|
Jeffrey J. P. Tsai;T. Weigert |
| 亞洲大學 |
1992-09 |
Visualization and Debugging Distributed Real-Time Software Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1992-09 |
A Framework of Logic-Based Transformation System
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1992 |
A Distributed Cooperative Agents Architecture for Software Development
|
Jeffrey J. P. Tsai;R. Sheu |
| 亞洲大學 |
1991.12 |
ESCHE: Expert System for Feature Identification in Human Chest of Computer Tomography
|
J.Sushil;J.Sushil;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991.12 |
EMBY: Expert System for Low Level Segmentation in Microscopic Image of Human Enbryo
|
Sushil, Jas;Sushil, Jas;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991.11 |
An Event-Based Real-Time Logic to Specify Behavior and Timing Properties of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991.11 |
Non-Monotonic Logic as a Basis for Requirements Specification and Analysis
|
蔡進發;Jeffrey, J.P.Tsai;T.Weigert;T.Weigert;H.Jang;H.Jang |
| 亞洲大學 |
1991.09 |
Artificial Intelligence Techniques for Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991.09 |
RT-FRORL: A Formal Requirements Specification Language for Specifying and Analyzing Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai;H.Jang;H.Jang;K.S.;K.S. |
| 亞洲大學 |
1991.08 |
A Distributed Cooperative Agents Architecture for Software Development
|
蔡進發;Jeffrey, J.P.Tsai;R.Sheu;R.Sheu |
| 亞洲大學 |
1991.05 |
Nested Concurrency and Its Application to Distributed Database Systems Design
|
J.Chen;J.Chen;L.Chen;L.Chen;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991.05 |
A Research Overview of Distributed Database System Design
|
J.Chen;J.Chen;L.Chen;L.Chen;蔡進發;Jeffrey, J.P.Tsai;C.Carlson;C.Carlson |
| 亞洲大學 |
1991.05 |
Timing Errors of Real-Time Software Systems and Their Detection
|
蔡進發;Jeffrey, J.P.Tsai;Y.Bi;Y.Bi |
| 亞洲大學 |
1991.03 |
Integrating Data Collection, Debugging, and Visualization
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991-12 |
ESCHE: Expert System for Feature Identification in Human Chest of Computer Tomography
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991-11 |
Reasoning under Uncertainty in Fuzzy Operator Logic
|
Jeffrey J. P. Tsai;T. Weigert;X. Liu |
| 亞洲大學 |
1991-11 |
An Event-Based Real-Time Logic to Specify Behavior and Timing Properties of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991-11 |
Non-Monotonic Logic as a Basis for Requirements Specification and Analysis
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991-11 |
Is A.I. the Solution for Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991-09 |
Artificial Intelligence Techniques for Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991-09 |
RT-FRORL: A Formal Requirements Specification Language for Specifying and Analyzing Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991-08 |
A Distributed Cooperative Agents Architecture for Software Development
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991-05 |
Timing Errors of Real-Time Software Systems and Their Detection
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991-05 |
A Research Overview of Distributed Database System Design
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991-05 |
Nested Concurrency and Its Application to Distributed Database Systems Design
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1991-03 |
Integrating Data Collection, Debugging, and Visualization
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1990.11 |
KBRMS: An Intelligent Assistant for Requirement Definition
|
B.Binder;B.Binder;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1990-11 |
KBRMS: An Intelligent Assistant for Requirement Definition
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1990-11 |
A Hybrid Knowledge Representation for Requirement Specification and Reasoning
|
蔡進發;Jeffrey, J.P.Tsai;Weige, Thomas;Weigert, Thomas;H.C.Jang;H.C.Jang |
| 亞洲大學 |
1990-10 |
On Real-Time Software Testing and Debugging
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1990-08 |
A Non-Interference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging
|
Jeffrey J. P. Tsai;K.Y. Fang;H.Y. Chen;Y. Bi |
| 亞洲大學 |
1990-07 |
Classification of Intelligent Simulation
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1990-03 |
A Noninvasive Architecture to Monitor Real-Time Distributed Systems
|
Jeffrey J. P. Tsai;K.Y. Fang;H.Y. Chen |
| 亞洲大學 |
1990 |
A Hybrid Knowledge Representation for Requirement Specification and Reasoning
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1988-11 |
Intelligent Support for Specifications Transformation
|
Jeffrey J. P. Tsai;J. Ridge |
| 亞洲大學 |
1988-08 |
An Integrated Life-Cycle Model for Software Maintenance
|
Jeffrey J. P. Tsai;S.S. Yau;R.A. Nicholl;S.S. Liu |
| 亞洲大學 |
1988-06 |
A Knowledge-Based Approach to Software Design
|
Jeffrey J. P. Tsai |
| 亞洲大學 |
1987-03 |
Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications
|
Jeffrey J. P. Tsai;S.S. Yau |
| 亞洲大學 |
1986-06 |
A Survey of Software Design Techniques
|
Jeffrey J. P. Tsai;S.S. Yau |
