K. Shih

查看斯高帕斯 (Scopus) 概要

電子郵件timothykshihgmailcom
網站http://mine.csie.ncu.edu.tw/core/en/advisors

h-index

每年研究成果

如果您對這些純文本內容做了任何改變，很快就會看到。

233 會議論文篇章
158 期刊論文
52 會議論文
41 編者言
更多

150個結果中的 - 158158

篩選

1997
Integration object-oriented software testing and metrics
Chung, C. M., Shih, T. K., Wang, C. C. & Lee, M. C., 3月 1997, 於: International Journal of Software Engineering and Knowledge Engineering. 7, 1, p. 125-144 20 p.
研究成果: 雜誌貢獻 › 期刊論文 › 同行評審
1 引文斯高帕斯（Scopus）
Object-Oriented Software Testing and Metric in Z Specification
Chung, C. M., Shih, T. K. & Wang, C. C., 5月 1997, 於: Information Sciences. 98, 1-4, p. 175-202 28 p.
研究成果: 雜誌貢獻 › 期刊論文 › 同行評審
5 引文斯高帕斯（Scopus）
On Automatic Generation of Multimedia Presentations
Chung, C. M. & Shih, T. K., 4月 1997, 於: Information Sciences. 97, 3-4, p. 293-321 29 p.
研究成果: 雜誌貢獻 › 期刊論文 › 同行評審
5 引文斯高帕斯（Scopus）
Supporting the reuse of multimedia presentations
Chung, C. M., Shih, T. K., Kuo, C. H. & Lin, W. C., 9月 1997, 於: Information Sciences. 101, 1-2, p. 131-151 21 p.
研究成果: 雜誌貢獻 › 期刊論文 › 同行評審
1 引文斯高帕斯（Scopus）
Using Z to specify object-oriented software complexity measures
Shih, T. K., Wang, C. C. & Chung, C. M., 8月 1997, 於: Information and Software Technology. 39, 8, p. 515-529 15 p.
研究成果: 雜誌貢獻 › 期刊論文 › 同行評審
1 引文斯高帕斯（Scopus）
1996
A quantitative analysis for different testing criteria through program decomposition
Chung, C. M., Shih, T. K. & Wang, Y. H., 9月 1996, 於: Information Sciences. 93, 3-4, p. 211-233 23 p.
研究成果: 雜誌貢獻 › 期刊論文 › 同行評審
On the Construction of Intelligent Multimedia Presentations
Chung, C. M., Shih, T. K., Kuo, C. H. & Wang, Y. H., 2月 1996, 於: Information Sciences. 89, 1-2, p. 131-155 25 p.
研究成果: 雜誌貢獻 › 期刊論文 › 同行評審
5 引文斯高帕斯（Scopus）
1995
ON THE CONSTRUCTION OF A PROLOG‐BASED VERIFIER FOR SYSTOLIC ARRAY DESIGNS
Shih, T., Ling, N. & Lin, R. D. F., 2月 1995, 於: Computational Intelligence. 11, 1, p. 172-221 50 p.
研究成果: 雜誌貢獻 › 期刊論文 › 同行評審

施 國琛

研究成果

搜尋結果

施國琛