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

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