软件经验数据 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