計(jì)算機(jī)軟件高級詞匯中英對照

　　電腦，又稱計(jì)算機(jī)，是機(jī)械的一種，現(xiàn)在使用的越來越多。接下來小編為大家整理了計(jì)算機(jī)軟件高級詞匯中英對照，希望對你有幫助哦!

　　軟件經(jīng)驗(yàn)數(shù)據(jù) software experience data

　　軟件風(fēng)險(xiǎn) software hazard

　　軟件庫管理員 software librarian

　　軟件庫 software library

　　軟件生存周期 software life cycle

　　軟件維護(hù)員 software maintainer

　　軟件監(jiān)控程序 software monitor

　　軟件操作員 software operator

　　軟件產(chǎn)品 software product

　　軟件采購員 software purchaser

　　軟件質(zhì)量 software quality

　　質(zhì)量保證 quality assurance

　　質(zhì)量度量學(xué) quality metrics

　　軟件度量學(xué) software metrics

　　軟件質(zhì)量保證 software quality assurance

　　軟件質(zhì)量評判準(zhǔn)則 software quality criteria

　　軟件可靠性 software reliability

　　軟件注冊員 software registrar

　　軟件儲藏庫 software repository

　　軟件復(fù)用 software reuse

　　軟件安全性 software safety

　　軟件潛行分析 software sneak analysis

　　軟件單元 software unit

　　軟件驗(yàn)證程序 software verifier

　　規(guī)約語言 specification language

　　規(guī)約驗(yàn)證 specification verification

　　穩(wěn)定性 stability

　　供方 supplier

　　支持軟件 support software

　　符號執(zhí)行 symbolic execution

　　系統(tǒng)體系結(jié)構(gòu) system architecture

　　系統(tǒng)設(shè)計(jì) system design

　　系統(tǒng)文檔 system documentation

　　系統(tǒng)庫 system library

　　系統(tǒng)可靠性 system reliability

　　系統(tǒng)軟件 system software

　　系統(tǒng)確認(rèn) system validation

　　系統(tǒng)驗(yàn)證 system verification

　　終止性證明 termination proof

　　測試用例生成程序 test case generator

　　測試覆蓋 test coverage

　　測試數(shù)據(jù)生成程序 test data generator

　　測試驅(qū)動程序 test driver

　　測試階段 test phase

　　測試過程 test procedure

　　測試可重復(fù)性 test repeatability

　　測試報(bào)告 test report

　　分時(shí) time sharing

　　計(jì)時(shí)分析程序 timing analyzer

　　追蹤程序 tracer

　　培訓(xùn) training

　　類型 type

　　軟件性能 software performance

　　自適應(yīng)性 adaptability

　　內(nèi)聚性 cohesion

　　模塊性 modularity

　　可復(fù)用性 reusability

　　部分正確性 partial correctness

　　完全正確性 total correctness

　　有效性 validity

　　用戶合同管理員 user contract administrator

　　用戶文檔 user documentation

　　實(shí)用軟件 utility software

　　版本控制 version control

　　更改控制 change control

　　基線 baseline

　　原型 prototype

　　原型制作 prototyping

　　原型速成 rapid prototyping

　　領(lǐng)域建模 domain modeling, DM

　　體系結(jié)構(gòu)建模 architecture modeling, AM

　　黑箱 black-box

　　白箱 white-box

　　領(lǐng)域工程師 domain engineer

　　軟件體系結(jié)構(gòu) software architecture

　　軟件再工程 software reengineering

　　軟件過程 software process

　　可復(fù)用構(gòu)件 reusable component

　　基于構(gòu)件的軟件開發(fā) component-based software development, CBSD

　　基于構(gòu)件的軟件工程 component-based software engineering, CBSE

　　3C模型 concept, content and context 3C 3C指概念、內(nèi)容和語境。

　　特定領(lǐng)域軟件體系結(jié)構(gòu) domain-specific software architecture, DSSA

　　軟件體系結(jié)構(gòu)風(fēng)格 software architectural style, SAS

　　合法性撤消 revocation又稱“合法性取消”。

　　版本升級 version upgrade

　　向下兼容 downward compatibility

　　向上兼容 upward compatibility

　　管理過程 management process

　　獲取過程 acquisition process

　　供應(yīng)過程 supply process

　　維護(hù)過程 maintenance process

　　支持過程 supporting process

　　剪裁過程 tailoring process

　　軟件工程經(jīng)濟(jì)學(xué) software engineering economics

　　計(jì)算機(jī)軟件的法律保護(hù) legal protection of computer software

　　軟件版權(quán) software copyright

　　事務(wù)分析 transaction analysis

　　人工認(rèn)知 artificial cognition

　　腦功能模塊 brain function module

　　腦成像 brain imaging

　　腦模型 brain model

　　腦科學(xué) brain science

　　知識塊 chunk

　　認(rèn)知 cognition

　　認(rèn)知映射 cognitive mapping

　　認(rèn)知過程 cognitive process

　　認(rèn)知心理學(xué) cognitive psychology

　　認(rèn)知仿真 cognitive simulation

　　認(rèn)知系統(tǒng) cognitive system

　　思維科學(xué) noetic science

　　認(rèn)知科學(xué) cognitive science

　　感知 perception

　　認(rèn)知模型 cognitive model

　　動態(tài)記憶 dynamic memory

　　情景記憶 episodic memory

　　認(rèn)識學(xué) epistemology

　　智能 intelligence

　　智能科學(xué) intelligent science

　　群體智能 swarm intelligence

　　宏理論 macro-theory

　　記憶組織包 memory organization packet, MOP

　　記憶表示 memory representation

　　心智能力 mental ability

　　心智圖像 mental image

　　心智信息傳送 mental information transfer

　　心智機(jī)理 mental mechanism

　　心智狀態(tài) mental state

　　心智心理學(xué) mental psychology

　　微理論 micro-theory

　　機(jī)器智能 machine intelligence

　　物理符號系統(tǒng) physical symbol system

　　DS理論 Dempster-Shafer theory

　　框架語法 frame grammar

　　知識工程 knowledge engineering, KE

　　知識 knowledge

　　領(lǐng)域知識 domain knowledge

　　啟發(fā)式知識 heuristic knowledge

　　常識 commonsense

　　知識表示 knowledge representation, KR

　　陳述性知識 declarative knowledge

　　過程性知識 procedural knowledge

　　知識表示方式 knowledge representation mode

　　知識模式 knowledge schema

　　框架知識表示 frame knowledge representation

　　概念結(jié)點(diǎn) concept node

　　腳本知識表示 script knowledge representation

　　狀態(tài)空間 state space

　　狀態(tài)圖 state graph

　　元知識 metaknowledge

　　元規(guī)則 metarule

　　面向?qū)ο蟊硎?object-oriented representation

　　黑板 blackboard

　　黑板結(jié)構(gòu) blackboard structure

　　知識源 knowledge source

　　知識結(jié)構(gòu) knowledge structure

　　問題 problem

　　問題診斷 problem diagnosis

　　問題重構(gòu) problem reformulation

　　問題空間 problem space

　　問題狀態(tài) problem state

　　過程分析 procedure analysis

　　進(jìn)程定性推理 process qualitative reasoning

　　規(guī)則子句 rule clause

　　規(guī)則 rule

　　啟發(fā)式規(guī)則 heuristic rule

　　前提 antecedent, premise

　　條件式 conditions

　　產(chǎn)生式規(guī)則 production rule

　　產(chǎn)生式系統(tǒng) production system

　　領(lǐng)域無關(guān)規(guī)則 domain-independent rule

　　反向推理 backward reasoning, backward chained reasoning

　　雙向推理 bidirection reasoning

　　目標(biāo)導(dǎo)向推理 goal-directed reasoning

　　基于知識推理 knowledge-based inference

　　邏輯推理 logical reasoning

　　自頂向下推理 top-down reasoning

　　自底向上推理 bottom-up reasoning

　　元推理 metareasoning

　　不確定推理 uncertain reasoning

　　模糊推理 fuzzy reasoning

　　類比推理 analogical inference

　　單調(diào)推理 monotonic reasoning

　　非單調(diào)推理 non-monotonic reasoning

　　限定推理 circumscription reasoning

　　目標(biāo)引導(dǎo)行為 goal-directed behavior

　　啟發(fā)式算法 heuristic algorithm

　　啟發(fā)式方法 heuristic approach

　　啟發(fā)式函數(shù) heuristic function

　　啟發(fā)式信息 heuristic information

　　啟發(fā)式程序 heuristic program

　　啟發(fā)式技術(shù) heuristic technique

　　不完全性理論 incompleteness theory

　　不合邏輯 illogicality

　　合一 unification

　　合一子 unifier

　　泛合一 universal unification