1、計算機軟件高級詞匯中英對照 軟件經驗數據 software experience data 軟件風險 software hazard 軟件庫管理員 software librarian 軟件庫 software library 軟件生存周期 software life cycle 軟件維護員 software maintainer 軟件監控程序 software monitor 軟件操作員 software operator 軟件產品 software product 軟件采購員 software purchaser 軟件質量 software quality 質量保證 quality ass

2、urance 質量度量學 quality metrics 軟件度量學 software metrics 軟件質量保證 software quality assurance 軟件質量評判準則 software quality criteria 軟件可靠性 software reliability 軟件注冊員 software registrar 軟件儲藏庫 software repository 軟件復用 software reuse 軟件安全性 software safety 軟件潛行分析 software sneak analysis 軟件單元 software unit 軟件驗證程序 so

3、ftware verifier 規約語言 specification language 規約驗證 specification verification 穩定性 stability 供方 supplier 支持軟件 support software 符號執行 symbolic execution 系統體系結構 system architecture 系統設計 system design 系統文檔 system documentation 系統庫 system library 系統可靠性 system reliability 系統軟件 system software 系統確認 system val

4、idation 系統驗證 system verification 終止性證明 termination proof 測試用例生成程序 test case generator 測試覆蓋 test coverage 測試數據生成程序 test data generator 測試驅動程序 test driver 測試階段 test phase 測試過程 test procedure 測試可重復性 test repeatability 測試報告 test report 分時 time sharing 計時分析程序 timing analyzer 追蹤程序 tracer 培訓 training 類型 ty

5、pe 軟件性能 software performance 自適應性 adaptability 內聚性 cohesion 模塊性 modularity 可復用性 reusability 部分正確性 partial correctness 完全正確性 total correctness 有效性 validity 用戶合同管理員 user contract administrator 用戶文檔 user documentation 實用軟件 utility software 版本控制 version control 更改控制 change control 基線 baseline 原型 prototy

6、pe 原型制作 prototyping 原型速成 rapid prototyping 領域建模 domain modeling, dm 體系結構建模 architecture modeling, am 黑箱 black-box 白箱 white-box 領域工程師 domain engineer 軟件體系結構 software architecture 軟件再工程 software reengineering 軟件過程 software process 可復用構件 reusable component 基于構件的軟件開發 component-based software development

7、, cbsd 基于構件的軟件工程 component-based software engineering, cbse 3c模型 concept, content and context 3c 3c指概念、內容和語境。 特定領域軟件體系結構 domain-specific software architecture, dssa 軟件體系結構風格 software architectural style, sas 合法性撤消 revocation又稱合法性取消。 版本升級 version upgrade 向下兼容 downward compatibility 向上兼容 upward compat

8、ibility 管理過程 management process 獲取過程 acquisition process 供應過程 supply process 維護過程 maintenance process 支持過程 supporting process 剪裁過程 tailoring process 軟件工程經濟學 software engineering economics 計算機軟件的法律保護 legal protection of computer software 軟件版權 software copyright 事務分析 transaction analysis 人工認知 artifici

9、al cognition 腦功能模塊 brain function module 腦成像 brain imaging 腦模型 brain model 腦科學 brain science 知識塊 chunk 認知 cognition 認知映射 cognitive mapping 認知過程 cognitive process 認知心理學 cognitive psychology 認知仿真 cognitive simulation 認知系統 cognitive system 思維科學 noetic science 認知科學 cognitive science 感知 perception 認知模型 c

10、ognitive model 動態記憶 dynamic memory 情景記憶 episodic memory 認識學 epistemology 智能 intelligence 智能科學 intelligent science 群體智能 swarm intelligence 宏理論 macro-theory 記憶組織包 memory organization packet, mop 記憶表示 memory representation 心智能力 mental ability 心智圖像 mental image 心智信息傳送 mental information transfer 心智機理 me

11、ntal mechanism 心智狀態 mental state 心智心理學 mental psychology 微理論 micro-theory 機器智能 machine intelligence 物理符號系統 physical symbol system ds理論 dempster-shafer theory 框架語法 frame grammar 知識工程 knowledge engineering, ke 知識 knowledge 領域知識 domain knowledge 啟發式知識 heuristic knowledge 常識 commonsense 知識表示 knowledge r

12、epresentation, kr 陳述性知識 declarative knowledge 過程性知識 procedural knowledge 知識表示方式 knowledge representation mode 知識模式 knowledge schema 框架知識表示 frame knowledge representation 概念結點 concept node 腳本知識表示 script knowledge representation 狀態空間 state space 狀態圖 state graph 元知識 metaknowledge 元規則 metarule 面向對象表示 ob

13、ject-oriented representation 黑板 blackboard 黑板結構 blackboard structure 知識源 knowledge source 知識結構 knowledge structure 問題 problem 問題診斷 problem diagnosis 問題重構 problem reformulation 問題空間 problem space 問題狀態 problem state 過程分析 procedure analysis 進程定性推理 process qualitative reasoning 規則子句 rule clause 規則 rule

14、啟發式規則 heuristic rule 前提 antecedent, premise 條件式 conditions 產生式規則 production rule 產生式系統 production system 領域無關規則 domain-independent rule 反向推理 backward reasoning, backward chained reasoning 雙向推理 bidirection reasoning 目標導向推理 goal-directed reasoning 基于知識推理 knowledge-based inference 邏輯推理 logical reasoning 自頂向下推理 top-down reasoning 自底向上推理 bottom-up reasoning 元推理 metareasoning 不確定推理 uncertain reasoning 模糊推理 fuzzy reasoning 類比推理 analogical inference 單調推理 monotonic reasoning 非單調推理 non-monotonic reasoning 限定推理 circumscription reasoning 目標引導行為 goal-directed behavior 啟發式算法 heuristic algor