計算機軟件高級詞彙中英對照
電腦，又稱計算機，是機械的一種，現在使用的越來越多。接下來小編爲大家整理了計算機軟件高級詞彙中英對照，希望對你有幫助哦!
軟件經驗數據 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 assurance
質量度量學 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
軟件驗證程序 software verifier
規約語言 specification language
規約驗證 specification verification
穩定性 stability
供方 supplier
支持軟件 support software
符號執行 symbolic execution
系統體系結構 system architecture
系統設計 system design
系統文檔 system documentation
系統庫 system library
系統可靠性 system reliability
系統軟件 system software
系統確認 system validation
系統驗證 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
類型 type
軟件性能 software performance
自適應性 adaptability
內聚性 cohesion
模塊性 modularity
可複用性 reusability
部分正確性 partial correctness
完全正確性 total correctness
有效性 validity
用戶合同管理員 user contract administrator
用戶文檔 user documentation
實用軟件 utility software
版本控制 version control
更改控制 change control
基線 baseline
原型 prototype
原型製作 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, 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 compatibility
管理過程 management process
獲取過程 acquisition process
供應過程 supply process
維護過程 maintenance process
支持過程 supporting process
剪裁過程 tailoring process
軟件工程經濟學 software engineering economics
計算機軟件的法律保護 legal protection of computer software
軟件版權 software copyright
事務分析 transaction analysis
人工認知 artificial 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
認知模型 cognitive 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
心智機理 mental 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 representation, KR
陳述性知識 declarative knowledge
過程性知識 procedural knowledge
知識表示方式 knowledge representation mode
知識模式 knowledge schema
框架知識表示 frame knowledge representation
概念結點 concept node
腳本知識表示 script knowledge representation
狀態空間 state space
狀態圖 state graph
元知識 metaknowledge
元規則 metarule
面向對象表示 object-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
啓發式規則 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 algorithm
啓發式方法 heuristic approach
啓發式函數 heuristic function
啓發式信息 heuristic information
啓發式程序 heuristic program
啓發式技術 heuristic technique
不完全性理論 incompleteness theory
不合邏輯 illogicality
合一 unification
合一子 unifier
泛合一 universal unification
