| 淡江大學 |
1999-01 |
Temporal Properties Underlying Multimedia Presentations with Z Notations
|
施國琛; Shih, Timothy K.; 葛煥昭; Keh, Huan-chao; 王英宏; Wang, Ying-hong; Kuo, Ying-feng |
| 淡江大學 |
1998-12-17 |
Testing and metrics for concurrent computation based on rendezvous mechanism
|
王英宏; Wang, Ying-hong; 莊淇銘; Chung, Chi-ming; Keh, Huan-Chao; Chien, Chia-yu |
| 淡江大學 |
1998-12 |
An Object-Oriented Specification and Verification System for Systolic Array Designs
|
施國琛; Shih, Timothy K.; 王英宏; Wang, Ying-hong; 葛煥昭; Keh, Huan-chao |
| 淡江大學 |
1998-10 |
Object-oriented application framework for distributed multimedia design
|
王英宏; Wang, Ying-hong; Keh, Huan-chao; Chung, Chi-ming; Lin, Hung-zu; Lee, Chy-jang |
| 淡江大學 |
1998-10 |
Object-oriented application fremework for distributed multimedia design
|
Wang, Ying-hong; Keh, Huan-chao; 莊淇銘; Chung, Chi-ming; Lin, Hung-zu; Lee, Chy-jang |
| 淡江大學 |
1998-08 |
Annotating a program through the grammar
|
Shih, Timothy K.; Wang, Ying-hong; Lin, Hwei-jen; Yen, Shwu-huey; Lin, Yule-chyun |
| 淡江大學 |
1998-08 |
A Control and Data Abstraction Approach for Multimedia Presentation
|
莊淇銘; Chung, Chi-ming; 趙榮耀; Chow, Louis R.; 施國琛; Shih, Timothy K.; 王英宏; Wang, Ying-hong; 史玉龍; Shyy, Yuh-long; 林偉川; Lin, Wei-chuan |
| 淡江大學 |
1998-07 |
Distributed framework for multimedia application design
|
Wang, Ying-hong; 莊淇銘; Chung, Chi-ming; Shih, T. K.; Keh, H. C. |
| 淡江大學 |
1998-03-25 |
Using temporal reasoning approach to solve the resource schedule conflicts of multimedia presentation
|
Shih, Timothy K.; 王英宏; Wang, Ying-hong; Lo, Steven K. C. |
| 淡江大學 |
1998-03-25 |
An object-oriented application framework for distributed multimedia
|
Wang, Ying-hong; Chung, Chi-ming; Shih, Timothy K.; 葛煥昭; Keh, H. C.; Lin, Hung-zu |
| 淡江大學 |
1998-03 |
Tool integration in a knowledge abstraction environment
|
莊淇銘; Chung, Chi-ming; 趙榮耀; Chow, Louis R.; 施國琛; Shih, Timothy K.; 王英宏; Wang, Ying-hong; Lin, Wei-chuan; 陳瑞發; Chen, Jui-fa |
| 淡江大學 |
1998-01-21 |
Asynchronous multimedia presentation design machine
|
施國琛; Shih, Timothy K.; Wang, Ying-hong; Jiang, Ding-rong; Hung, Jason C.; Wang, Chun-chia; Pai, Wen C. |
| 淡江大學 |
1998-01-06 |
A spatial/temporal relation computing technology for multimedia presentation designs
|
施國琛; Shih, Timothy K.; Wang, Ying-hong; Kuo, Chin-hwa; Deng, Lawrence Y.; Jiang, D. R.; Pai, Wen C.; Wang, C. C. |
| 淡江大學 |
1998-01 |
A software engineering approach to multimedia presentation designs
|
施國琛; Shih, Timothy K.; Wang, Ying-hong; Kuo, Chin-hwa; Jiang, D. R.; Hung, Jason C.; Pai, Wen C.; Wang, C. C. |
| 淡江大學 |
1997-10-28 |
An ICON programming technique for multimedia presentation designs
|
施國琛; Shih, Timothy K.; Yen, S. H.; Kuo, C. H.; 王英宏; Wang, Ying-hong; Chang, A. Y.; Li, Sheng-tun |
| 淡江大學 |
1997-10-28 |
Software testing and metrics for concurrent computation through task decomposition
|
Wang, Ying-hong; Chung, Chi-ming; Shih, Timothy K.; Keh, Huan-chao; Lin, Wei-chuan |
| 淡江大學 |
1997-10-12 |
Object-oriented software quality through data scope complexity measurement
|
Wang, Ying-hong; Chung, Chi-ming; Shih, Timothy K.; Keh, Huan-chao; Lin, Wei-chuan |
| 淡江大學 |
1997-10-12 |
A stepwise refinement approach to multimedia presentation designs
|
Shih, Timothy K.; Kuo, Chin-hwa; Chung, Chi-ming; Keh, Huan-chao; Wang, Ying-hong; Jiang, D.R.; Pai, Wen C. |
| 淡江大學 |
1997-10-12 |
Multimedia presentation designs using spatial/temporal relations
|
施國琛; Shih, Timothy K.; 莊淇銘; Chung, Chi-ming; Kuo, Chin-hwa; 葛煥昭; Keh, H. C.; 王英宏; Wang, Ying-hong; Chang, Anthony Y.; Pai, Wen C. |
| 淡江大學 |
1997-10 |
Multimedia presentation design using data flow diagrams
|
施國琛; Shih, Timothy K.; Kuo, Chin-hwa; Keh, H. C.; Wang, Ying-hong; Wang, C. S.; Lo, Steven K. C.; Hsu, Shuo-Chih |
| 淡江大學 |
1997-08-18 |
An integration platform architecture for multimedia tools
|
王英宏; Wang, Ying-hong |
| 淡江大學 |
1997-08-18 |
MScript-A type system and language for the composition of multimedia presentation objects
|
王英宏; Wang, Ying-hong; Shih, Timothy K.; Kuo, C. H. |
| 淡江大學 |
1997-08-18 |
An Interactive Multimedia Petri Net Machine Supports Structured Multimedia Presentations
|
Shih, Timothy K.; Kuo, Chin-hwa; Wang, Ying-hong; Lin, Hwei-jen; Lin, Yule-chyun |
| 淡江大學 |
1997-05 |
Concurrent software testing and metrics using task decomposition
|
Shih, T. K.; Chung, C. M.; 王英宏; Wang, Ying-hong; Keh, H. C.; 陳瑞發; Chen, J. F.; 施國琛 |
| 淡江大學 |
1997-03-13 |
Structured multimdeia presentation designs
|
施國琛; Shih, Timothy K.; 郭經華; Kuo, Chin-hwa; 王英宏; Wang, Ying-hong; Jeng, Yu-shen; Lin, Yule-chyun |
| 淡江大學 |
1997-03-09 |
A knowledge abstraction approach for multimedia presentation
|
Shih, Timothy K.; Chao, Louis R.; Chung, Chi-ming; Wang, Ying-hong; Lin, Wei-chuan; Pai, W. C. |
| 淡江大學 |
1997-03-01 |
An enhanced architecture for integraing multimedia tools
|
施國琛; Shih, Timothy K.; Chao, Louis R.; Chung, Chi-ming; Wang, Ying-hong; Kuo, Ying-feng; Lin, Wei-chuan |
| 淡江大學 |
1997-03 |
Concurrent Software Testing using Task Decomposition Mechanism
|
Chao, louis R.; 趙榮耀; Wang, ying-hong; 施國琛; Shih, timothy K.; Chung,chi-ming; Chen, jui-fa; Lin, wei-chuan; 王英宏; 陳瑞發 |
| 淡江大學 |
1997-01 |
Formal specification of multimedia database modeling with Z notations
|
Shih, Timothy K.; Lin, Nancy P.; 葛煥昭; Keh, Huan-chao; Wang, Ying-hong; Lin, Yule-chyun |
| 淡江大學 |
1997 |
An integrated platform for multimedia presentation
|
Shih, Timothy K.; Chao, Louis R.; Chung, Chi-ming; 葛煥昭; Keh, Huan-chao; Wang, Ying-hong; Lin, Wei-chuan |
| 淡江大學 |
1997 |
An integration platform for multimedia presentation
|
施國琛; Shih, Timothy K.; Chao, Louis R.; Chung, Chi-ming; Keh, Huan-chao; Wang, Ying-hong; Lin, Wei-chuan |
| 淡江大學 |
1996-12-25 |
Disciplined software integration in a rule-based environment
|
施國琛; Shih, Timothy K.; Chung, Chi-ming; Lin, Wei-chuan; Wang, Ying-hong; Kou, Ying-feng |
| 淡江大學 |
1996-12-25 |
Task decomposition approaches for concurrent programming testing
|
施國琛; Shih, Timothy K.; Chung, Chi-ming; Wang, Ying-hong; Lin, Wei-chuan; Kou, Ying-feng |
| 淡江大學 |
1996-12-04 |
Software Testing and Metrics for Concurrent Computation
|
Shih, Timothy K.; Chung, Chi-ming; Wang, Ying-hong; Kuo, Ying-feng; Lin, Wei-chuan |
| 淡江大學 |
1996-11 |
Concurrent programming testing and metrics based on task decomposition
|
莊淇銘; Chung, C.; Shih, Timothy K.; 王英宏; Wang, Ying-hong; Kou, Y.; 施國琛; Shyy, Yuh-long |
| 淡江大學 |
1996-10-30 |
Task decomposition testing and metrics for concurrent programs
|
Chung, Chi-ming; Shih, Timothy K.; Wang, Ying-hong; Lin, Wei-chuan; Kou, Ying-feng |
| 淡江大學 |
1996-10-30 |
A task decomposition testing and metrics for concurrent programs
|
莊淇銘; Chung, Chi-ming; Shih, Timothy K.; Wang, Ying-hong; Lin, Wei-chuan; Kou, Ying-feng |
| 淡江大學 |
1996-09 |
A quantitative analysis for different testing criteria through program decomposition
|
莊淇銘; Chung, Chi-ming; 施國琛; Shih, Timothy K.; 王英宏; Wang, Ying-hong |
| 淡江大學 |
1996-02 |
On the construction of intelligent multimedia presentations
|
Chung, Chi-Ming; Shih, Timothy K.; Kuo, Chin-Hwa; Wang, Ying-Hong |
| 淡江大學 |
1996 |
An integrated tool architecture for multimedia presentation
|
施國琛; Shih, Timothy K.; Chow, Louis R.; Chung, Chi-ming; Wang, Ying-hong; Kou, Ying-feng; Lin, Wei-chuan |
| 淡江大學 |
1996 |
A Platform for CASE Environment
|
莊淇銘; Chung, Chi-ming; 王英宏; Wang, Ying-hong |
| 淡江大學 |
1995-09 |
The measurement of software complexity through program decomposition
|
莊淇銘; Chung, Chi-ming; 施國琛; Shih, Timothy K.; 王英宏; Wang,Ying-hong; Lin, Wei-chuan; Kou, Ying-feng |
| 淡江大學 |
1995-05-15 |
An object-oriented approach and system for intelligent multimedia presentation designs
|
Chung, Chi-ming; Shih, Timothy K.; 黃俊堯; Huang, Jiung-yao; Wang, Ying-hong; Kuo, Tsu-feng |
| 淡江大學 |
1994-12-21 |
A quantitative analysis for different testing criteria through program decomposition
|
莊淇銘; Chung, Chi-ming; Ken, Huan-chao; 王英宏; Wang, Ying-hong; Lin, Wei-chuan; Kou, Ying-feng |
| 淡江大學 |
1994-11-09 |
Tools cooperation in an integration environment by message-passing mechanism
|
Chung, Chi-ming; Wang, Ying-hong; Hsieh, Gwo-ching; Lin, Wei-chuan; Kuo, Ying-feng |
| 淡江大學 |
1992-10 |
Loop-once path complexity for software measurement
|
王英宏; Wang, Ying-hong |
| 淡江大學 |
1992-10 |
The quantitative analysis of control flow software testing criteria
|
王英宏; Wang, Ying-hong |
