| 亞洲大學 |
1998-04 |
Multimedia Software Engineering
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1998-01 |
A Logic-Based Transformation Systems
|
Jeffrey J. P. Tsai;B. Li;T. Weigert |
| 亞洲大學 |
1998 |
Compositional Verification of Concurrent Systems Using Petri-Nets-Based Condensation Rules
|
Jeffrey J. P. Tsai;E. Juan;T. Murata |
| 國立臺灣海洋大學 |
1998 |
Compositional verification of concurrent systems using Petri-net-based condensation rules
|
Eric Y. T. Juan; Jeffrey J. P. Tsai; Tadao Murata |
| 亞洲大學 |
1997.10 |
An Incremental Verification of Software Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997.08 |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
|
蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan |
| 亞洲大學 |
1997.02 |
An Incremental Verification Approach for Software Architecture Specification of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997-10 |
An Incremental Verification of Software Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997-09 |
Incremental Verification of Software Architectures
|
Jeffrey J. P. Tsai;A. Sistla, A. Sahay, R. Paul |
| 亞洲大學 |
1997-08 |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
|
Jeffrey J. P. Tsai;E. Juan |
| 亞洲大學 |
1997-08 |
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997-02 |
Incremental Verification of Architecture Specification Language for Real-Time Systems
|
Jeffrey J. P. Tsai;A. P. Sistla and Avinash Sahay |
| 亞洲大學 |
1997-02 |
An Incremental Verification Approach for Software Architecture Specification of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1997-01 |
Parallel Evalutation Model for Software Architecture Specification
|
Jeffrey J. P. Tsai;B. Li ;E. Juan |
| 亞洲大學 |
1996.12 |
An Integrated Architecture for Distributed Real-Time Systems Analysis
|
S.Yang;S.Yang;蔡進發;Jeffrey, J.P.Tsai;A.Liu;A.Liu |
| 亞洲大學 |
1996.10 |
An Efficient Analysis Method for Large-Scale Concurrent Systems
|
E.Juan;E.Juan;蔡進發;Jeffrey, J.P.Tsai;T.Murata;T.Murata |
| 亞洲大學 |
1996.10 |
A Hybrid Execution Model for Logic-Based Requirements Specifications
|
蔡進發;Jeffrey, J.P.Tsai;B.Li;B.Li |
| 亞洲大學 |
1996.08 |
Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai;S.Yang;S.Yang;P.Chang;P.Chang;E.Juan;E.Juan |
| 亞洲大學 |
1996.06 |
Automatic Generation of Verification Scenario from Systems Requirements Specification
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996.02 |
A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai;T.Weigert;T.Weigert |
| 亞洲大學 |
1996-12 |
An Integrated Architecture for Distributed Real-Time Systems Analysis
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996-10 |
A New Compositional Method for Condensed State Space Verification
|
Jeffrey J. P. Tsai;E. Juan and T. Murata |
| 亞洲大學 |
1996-10 |
A Hybrid Execution Model for Logic-Based Requirements Specifications
|
Jeffrey J. P. Tsai;B. Li and E. Juan |
| 亞洲大學 |
1996-10 |
A Hybrid Execution Model for Logic-Based Requirements Specifications
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996-10 |
An Efficient Analysis Method for Large-Scale Concurrent Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996-08 |
Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets
|
Jeffrey J. P. Tsai;S. Yang, C. Chang, E. Juan |
| 亞洲大學 |
1996-08 |
Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996-06 |
Automatic Generation of Verification Scenario from Systems Requirements Specifications
|
Jeffrey J. P. Tsai;X. Zeng, T. Weigert |
| 亞洲大學 |
1996-06 |
Automatic Generation of Verification Scenario from Systems Requirements Specification
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996-03 |
Debugging for Timing Constraint Violations
|
Jeffrey J. P. Tsai;Y. Bi;Y. Yang |
| 亞洲大學 |
1996-02 |
A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems
|
Jeffrey J. P. Tsai; |
| 亞洲大學 |
1996-02 |
A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1996 |
Distributed Real-Time Systems: Monitoring, Visualization, Debugging, and Analysis
|
蔡進發;Jeffrey, J.P.Tsai;Y.Bi;Y.Bi;S.Yang;S.Yang;R.Smith;R.Smith |
| 亞洲大學 |
1995.11 |
A Knowledge-Based Approach for Requirements Analysis
|
A.Liu;A.Liu;蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1995.09 |
A Knowledge-Based Approach to Specification-Based Software Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1995.08 |
Improving Software Quality Through a New Testing Strategy
|
X.Zeng;X.Zeng;蔡進發;Jeffrey, J.P.Tsai;T.Weigert;T.Weigert |
| 亞洲大學 |
1995.06 |
Requirements, Specification, and Analysis of Autonomous Distributed Communication Service
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1995-11 |
A Knowledge-Based Approach for Requirements Analysis
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1995-09 |
A Knowledge-Based Approach to Specification-Based Software Architecture
|
Jeffrey J. P. Tsai; |
| 亞洲大學 |
1995-09 |
A Knowledge-Based Approach to Specification-Based Software Architecture
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1995-08 |
Improving Software Quality Through a New Testing Strategy
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1995-06 |
Requirements, Specification, and Analysis of Autonomous Distributed Communication Service
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1995-02 |
Dependability of Artificial Intelligence Systems
|
Jeffrey J. P. Tsai |
| 亞洲大學 |
1995-01 |
Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications
|
Jeffrey J. P. Tsai |
| 亞洲大學 |
1994.11 |
Modeling and Parallel Evaluation of Non-Functional Requirements Using FRORL Requirements Language
|
蔡進發;Jeffrey, J.P.Tsai;B.Li;B.Li;A.Liu;A.Liu |
| 亞洲大學 |
1994.10 |
A Simple Graph Algorithm for Message-optimized Distributed Computing
|
蔡進發;Jeffrey, J.P.Tsai;B.Li;B.Li |
| 亞洲大學 |
1994.10 |
Improving Parallel Execution Performance for Logic Programs Using Mode Information
|
蔡進發;Jeffrey, J.P.Tsai;B.Li;B.Li |
| 亞洲大學 |
1994-11 |
Modeling and Parallel Evaluation of Non-Functional Requirements Using FRORL Requirements Language
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1994-10 |
A Simple Graph Algorithm for Message-optimized Distributed Computing
|
蔡進發;Jeffrey, J.P.Tsai |
| 亞洲大學 |
1994-10 |
Improving Parallel Execution Performance for Logic Programs Using Mode Information
|
蔡進發;Jeffrey, J.P.Tsai |
