我們的研究涵蓋軟體工程的各個面向,從理論基礎到實際應用
Software Visualization
專注於軟體視覺化技術,包含3D除錯視覺化和程式動畫等前沿技術,幫助開發人員更好地理解和分析軟體系統。
Software Testing and Test Automation
開發創新的軟體測試方法和自動化測試工具,提升軟體品質和開發效率。
Program Comprehension
研究程式理解技術,協助開發人員快速理解大型軟體系統的結構和邏輯。
Object-Oriented Analysis and Design
深入研究物件導向軟體開發方法論,包含分析、設計模式和最佳實踐。
Source Code Quality and Metric
開發原始碼品質評估工具和度量方法,協助提升軟體品質和維護性。
Software Engineering
研究軟體工程的理論基礎和實踐方法,培養學生的軟體工程專業能力。
Social Network
研究社群網路的結構分析和應用開發,探索社會網路的特性和規律。
3D Gaming
開發3D遊戲引擎和相關技術,結合軟體工程原理創造優質的遊戲體驗。
Computer-Aided Software Engineering Tools
開發各種電腦輔助軟體工程工具,提升軟體開發的效率和品質。
Software Engineering in the Clouds
研究雲端環境下的軟體工程方法和工具,適應現代分散式系統的需求。
Software Verifications for Concurrent Applications
使用模型檢查等技術對多執行緒和併發應用程式進行正確性驗證。
Computer Science Education
研究資訊科學教育方法和工具,提升程式設計和軟體工程的教學效果。
專為解決技術文件維護與管理問題而設計的軟體知識管理工具。
採用創新的透明視窗技術,讓開發者無需修改原始碼即可擴充既有應用程式功能,並支援跨語言開發與前後端分離架構。
一款能在無需作業系統支援的環境下執行的自動化回歸測試工具,透過硬體模擬鍵盤與滑鼠訊號驅動待測系統,並藉由影像分析自動驗證測試結果。
PolyTraceAid 協助開發者透過程式執行過程的追蹤,建立有結構的內部文件,有助於程式理解與維護。
xTitan 是一套測試自動化工具,支援 GUI 動畫、滑鼠操作記錄與程式內部狀態檢查,協助開發者觀察與驗證系統行為。
使用序列比對演算法,分析程式執行序列間的差異,協助理解多型行為與測試覆蓋情形,應用於程式理解與測試選擇。