程式語言與軟體工程

程式語言與軟體工程 Programming Language and Software Engineering

 

1. 程式語言原理 (Theory of Programming Language)

     •  語意 (Semantics)

     •  型態系統 (Type system)

     •  程式分析 (Program analysis)

     •  程式轉換 (Bi-directional transformation)

     •  程式語言實作 (Programming language implementation)

 

2. 編譯優化技術 (Compiler Optimizations)

 

3. 軟體工程技術 (Software Engineering Technologies)

     •  元件/代理人/面向為基礎軟體工程技術 (Component-/Agent-/Aspect- based software engineering technologies)

     •  軟體維護與演進 (Software maintenance and evolution)

     •  敏捷方法 (Agile methods)

     •  模型驅動開發 (Model driven development)

     •  框架/架構/樣式 (Framework/Architecture/Pattern)

     •  服務導向計算 (Service-oriented computing, SOC)

     •  目標導向需求工程 (Goal-driven requirements engineering)

     •  軟體工程教育 (Software engineering education)

 

4. 軟體品質與流程技術 (Software Quality and Process Technology)

     •  軟體品質模式與度量指標 (Software quality model)

     •  軟體品質管理 (Software quality management)

     •  軟體測試技術 (Software validation and verification)

     •  不同核心技術的軟體發展流程 (Different core technology of software development process)

     •  軟體發展流程資源編輯的自動化 (Software development process resource editing automation)

     •  軟體品質導向開發程序 (Quality-driven development process)

 

5. 正規建模與分析 (Formal Modeling and Analysis)

     •  工業應用中標準模型的建構 (Construction of standard model in industrial application)

     •  現有模型語言的理論研究 (Theoretical research on existing model language)

     •  模型抽象化技術的創新與實驗 (Innovation and experiment of model abstraction technology)

     •  模型語言之間的轉換 (Conversion between model languages)

     •  反向自動化建模技術 (Reverse automation modeling technology)

     •  分散式模型設計 (Distributed model design)

 

6. 正規驗證技術 (Formal Verification Techniques)

     •  啟發示搜索演算法 (Heuristic algorithm)

     •  抽象化相關技術 (Abstraction)

     •  程式安全性分析 (Program security analysis)

     •  資訊安全程式分析 (Information security program analysis)

     •  多核心系統正確性 (Multi-core system correction)

     •  隱私權保護分析 (Pravicy protection analysis)

     •  程式正規證明 (Formal proof)

     •  量化程式分析 (Quantitative program analysis) 

     •  編譯器與作業系統驗證 (Compiler and operating system verification)

     •  名稱處理 (Name processing)

     •  證明模組化 (Proof modularization)

 

2021程式語言與軟體工程 規劃書 下載

2018程式語言與軟體工程 規劃書 下載

2015程式語言與軟體工程 規劃書 下載