Browsing by Author 鄭永斌

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 40  next >
Issue DateTitleAuthor(s)
2011AIR Tester: 針對腳本語言與網頁應用程式之侵入式回歸測試工具鄭永斌; Yung-Ping Cheng; 陳羿勳; Yi-Hsin Chen
2006ArCats局部性模型分析安全性質和活化性質鄭永斌; Yung-Pin Cheng; 徐志文; Zhi-Wen Hsu
2011Design and Implementation of a Gesture Recognition Library for Touch-Based Devices鄭永斌; Chen, Yung-Pin; 胡晉豪; Hu, Chin-Hao
2007DIVA中複合型VM之設計與實做鄭永斌; 賴念煒
2004DIVINE: An Immersive 3D Debugging Information Visualization System Using Metaphor鄭永斌; Yung-Pin Cheng; 范畯浩
2006DIVINE之視覺化隱諭設計架構鄭永斌; 鄭永斌; 王安平
2005Evaluating Formal Requirement Method and Blurring the Line between Specification and Design - A Case Study of Redesign and Analysis of School Administration System鄭永斌; Yung-Ping Cheng; 王青惠; Ching-Hui Wang
2005Explicit Compositional State-Space Enumeration with Context Constraint& Counter Examples by Hierarchical Tracing鄭永斌; Yung-Ping Cheng; 程郁如
2011PolyTraceAid:加速程式碼理解之文件製作與追蹤系統鄭永斌; Yung-Pin Cheng; 余鈺盈; Yu-Ying, Yu
2005Providing Component-Based Software Crash Diagnostic Information for JAVA using Program Slicing鄭永斌; 鐘淳文
2003Refactoring的等價關係鄭永斌; 賀壽椿; Ho Show Chun
2003Towards General-Purpose Program Animation鄭永斌; Yung-Ping Cheng; 簡雅羚; Ya-Ling Chien
2010xDIVA之Graph陳列及侵入式測試自動化之設計與實作鄭永斌; Cheng Yung-Pin; 許鸚南; Hsu Ying-Nan
2003一個PROMELA語法分析器並且運用資料流分析以產生簡潔的狀態圖鄭永斌; Yung-Ping Cheng; 潘珈逸; Chia-Yi Pan
2004一個局部性的並行正確性驗證工具─使用模型架構重置解構使用抽象化資料結構之行程行為鄭永斌; Yung-Pin Cheng; 吳克仁; Keh-Ren Wu
2009一個通用的對映編輯器支持任意解釋資料與視覺化結果之間的關係鄭永斌; Yung-Pin Cheng; 王之舜; Chih-Shun Wang
2003互動式三度空間鏈節結構除錯資訊視覺化系統鄭永斌; Cheng Yung-pin; 彭怡煒; Peng Yi-wei
2003使用Java實作局部性分析套件鄭永斌; Cheng, Yung Pin; 黃吉元; Huang, Chi Yuan
2006使用本體論建構Bad Code Smells分類鄭永斌; 廖介任
2010使用重構技術和設計模式進行ARCATS既有架構的改良鄭永斌; 傅心儀