程式語言與軟體工程 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程式語言與軟體工程 規劃書 下載