计算机软件高级词汇中英对照

计算机软件高级词汇中英对照

软件质量保证softwarequalityassurance

软件质量评判准则softwarequalitycriteria

软件可靠性softwarereliability

软件注册员softwareregistrar

软件储藏库softwarerepository

软件复用softwarereuse

软件安全性softwaresafety

软件潜行分析softwaresneakanalysis

软件单元softwareunit

软件验证程序softwareverifier

规约语言specificationlanguage

规约验证specificationverification

稳定性stability

供方supplier

支持软件supportsoftware

符号执行symbolicexecution

系统体系结构systemarchitecture

系统设计systemdesign

系统文档systemdocumentation

系统库systemlibrary

系统可靠性systemreliability

系统软件systemsoftware

系统确认systemvalidation

系统验证systemverification

终止性证明terminationproof

测试用例生成程序testcasegenerator

测试覆盖testcoverage

测试数据生成程序testdatagenerator

测试驱动程序testdriver

测试阶段testphase

测试过程testprocedure

测试可重复性testrepeatability

测试报告testreport

分时timesharing

计时分析程序timinganalyzer

追踪程序tracer

培训training

类型type

软件性能softwareperformance

自适应性adaptability

内聚性cohesion

模块性modularity

可复用性reusability

部分正确性partialcorrectness

完全正确性totalcorrectness

有效性validity

用户合同管理员usercontractadministrator

用户文档userdocumentation

实用软件utilitysoftware

版本控制versioncontrol

更改控制changecontrol

基线baseline

原型prototype

原型制作prototyping

原型速成rapidprototyping

领域建模domainmodeling,DM

体系结构建模architecturemodeling,AM

黑箱black-box

白箱white-box

领域工程师domainengineer

软件体系结构softwarearchitecture

软件再工程softwarereengineering

软件过程softwareprocess

可复用构件reusableponent

基于构件的软件开发ponent-basedsoftwaredevelopment,CBSD

基于构件的软件工程ponent-basedsoftwareengineering,CBSE

3C模型concept,contentandcontext3C3C指概念､内容和语境。

特定领域软件体系结构domain-specificsoftwarearchitecture,DSSA

软件体系结构风格softwarearchitecturalstyle,SAS

合法性撤消revocation又称合法性取消。

版本升级versionupgrade

向下兼容downwardpatibility

向上兼容upwardpatibility

管理过程managementprocess

获取过程acquisitionprocess

供应过程supplyprocess

维护过程maintenanceprocess

支持过程supportingprocess

剪裁过程tailoringprocess

软件工程经济学softwareengineeringeconomics

计算机软件的法律保护legalprotectionofputersoftware

软件版权softwarecopyright

事务分析transactionanalysis

人工认知artificialcognition

脑功能模块brainfunctionmodule

脑成像brainimaging

脑模型brainmodel

脑科学brainscience

知识块chunk

认知cognition

认知映射cognitivemapping

认知过程cognitiveprocess

认知心理学cognitivepsychology

认知仿真cognitivesimulation

认知系统cognitivesystem

思维科学noeticscience

认知科学cognitivescience

感知perception

认知模型cognitivemodel

动态记忆dynamicmemory

情景记忆episodicmemory

认识学epistemology

智能intelligence

智能科学intelligentscience

群体智能swarmintelligence

宏理论macro-theory

记忆组织包memoryorganizationpacket,MOP

记忆表示memoryrepresentation

心智能力mentalability

心智图像mentalimage

心智信息传送mentalinformationtransfer

心智机理mentalmechanism

心智状态mentalstate

心智心理学mentalpsychology

微理论micro-theory

机器智能machineintelligence

物理符号系统physicalsymbolsystem

DS理论Dempster-Shafertheory

框架语法framegrammar

知识工程knowledgeengineering,KE

知识knowledge

领域知识domainknowledge

启发式知识heuristicknowledge

常识monsense

知识表示knowledgerepresentation,KR

陈述性知识declarativeknowledge

过程性知识proceduralknowledge

知识表示方式knowledgerepresentationmode

知识模式knowledgeschema

框架知识表示frameknowledgerepresentation

概念结点conceptnode

脚本知识表示scriptknowledgerepresentation

状态空间statespace

状态图stategraph

元知识metaknowledge

元规则metarule

面向对象表示object-orientedrepresentation

黑板blackboard

黑板结构blackboardstructure

知识源knowledgesource

知识结构knowledgestructure

问题problem

问题诊断problemdiagnosis

问题重构problemreformulation

问题空间problemspace

问题状态problemstate

过程分析procedureanalysis

进程定性推理processqualitativereasoning

规则子句ruleclause

规则rule

启发式规则heuristicrule

前提antecedent,premise

条件式conditions

产生式规则productionrule

产生式系统productionsystem

领域无关规则domain-independentrule

反向推理backwardreasoning,backwardchainedreasoning

双向推理bidirectionreasoning

目标导向推理goal-directedreasoning

基于知识推理knowledge-basedinference

逻辑推理logicalreasoning

自顶向下推理top-downreasoning

自底向上推理bottom-upreasoning

元推理metareasoning

不确定推理uncertainreasoning

模糊推理fuzzyreasoning

类比推理analogicalinference

单调推理monotonicreasoning

非单调推理non-monotonicreasoning

限定推理circumscriptionreasoning

目标引导行为goal-directedbehavior

启发式算法heuristicalgorithm

启发式方法heuristicapproach

启发式函数heuristicfunction