|
English
|
正體中文
|
简体中文
|
总笔数 :0
|
|
造访人次 :
52505966
在线人数 :
676
教育部委托研究计画 计画执行:国立台湾大学图书馆
|
|
|
"蔡進發"的相关文件
显示项目 341-365 / 426 (共18页)
<< < 9 10 11 12 13 14 15 16 17 18 > >>
每页显示[10|25|50]项目
| 亞洲大學 |
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 |
| 亞洲大學 |
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 |
| 亞洲大學 |
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 |
| 國立臺灣大學 |
1996 |
高操控性自主式水下載具設計之基礎研究─高操控性自主式水下載具設計之基本研究(Ⅲ)-子計畫(一)：載具之外形設計及其阻力推進性能之研究(
|
蔡進發 |
| 臺大學術典藏 |
1996 |
高操控性自主式水下載具設計之基礎研究─高操控性自主式水下載具設計之基本研究(Ⅲ)-子計畫(一)：載具之外形設計及其阻力推進性能之研究(
|
蔡進發; 蔡進發 |
| 亞洲大學 |
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-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 |
高操控性自主式水下載具設計之基本研究─高操控性自主式水下載具設計之基本研究(Ⅱ)--子計畫(一)：水下載具之外形設計與阻力推進性能之研
|
蔡進發 |
| 國立臺灣大學 |
1995 |
超大型油輪艉流場解析與船形設計能力建立之研究
|
黃正利; 郭真祥; 許文翰; 蔡進發; 黃正利; 郭真祥; 許文翰; Tsai, Jing-Fa |
| 臺大學術典藏 |
1995 |
高操控性自主式水下載具設計之基本研究─高操控性自主式水下載具設計之基本研究(Ⅱ)--子計畫(一)：水下載具之外形設計與阻力推進性能之研
|
蔡進發; 蔡進發 |
| 臺大學術典藏 |
1995 |
超大型油輪艉流場解析與船形設計能力建立之研究
|
Tsai, Jing-Fa; 黃正利; 黃正利; 郭真祥; 許文翰; 蔡進發; 黃正利; 郭真祥; 許文翰; 蔡進發 |
| 亞洲大學 |
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 |
显示项目 341-365 / 426 (共18页)
<< < 9 10 11 12 13 14 15 16 17 18 > >>
每页显示[10|25|50]项目
|
