学科分类 - 《中国大百科全书》第三版网络版

高级搜索

个人中心
机构中心
退出

专业板块专题板块大众板块

首页 . 理学 . 计算机科学技术

分支

软件工程

1 / 47

软件工程/ software engineering // software engineering /

关于软件开发的系统化工程化方法的学科。它应用计算机科学理论和技术以及工程管理原则和方法，实现软件生命周期过程中的问题定义、软件实现和部署、质量度量和评估、开发过程管理，以及软件产品变更和演化等。

规约验证/ specification verification /specification verification
软件工程管理
对软件的规约进行检验。
终止性验证/ terminatory validation /terminatory validation
软件工程管理
根据可终止性判定规则，检验被验证对象是否达到终止态。
设计验证/ design verification /design verification
软件工程管理
通过设计评审、模拟仿真和实际验证等一系列控制手段，证实设计输出符合设计输入的预期要求。
自动验证系统/ automated verification system /automated verification system
软件工程管理
根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件需求验证/ software requirements validation /software requirements validation
软件工程管理
对软件需求规格说明书（SRS）的正确性和质量进行验证，是需求分析的重要工作内容。
软件验证/ software verification /software verification
软件工程管理
检验软件开发周期中的一个给定阶段的产品是否满足需求、质量、约束的过程。
软件工程管理/ software engineering management /software engineering management
软件工程管理
管理活动在软件开发领域内的应用。
软件度量/ software metric /software metric
软件工程管理
用于软件产品、软件开发资源和软件开发过程的定量化方法。是项目成本估算、开发进度追踪、软件质量管理等开发活动的基础。
软件质量控制/ software quality control /software quality control
软件工程管理
一系列为开发高质量的软件产品所应用的流程和方法。
配置标识/ configuration identification /configuration identification
软件工程管理
软件生命周期中划分选择配置项、定义配置项种类和分配标识符的过程。

软件工程/ software engineering // software engineering /

规约验证/ specification verification /specification verification

终止性验证/ terminatory validation /terminatory validation

设计验证/ design verification /design verification

自动验证系统/ automated verification system /automated verification system

软件需求验证/ software requirements validation /software requirements validation

软件验证/ software verification /software verification

软件工程管理/ software engineering management /software engineering management

软件度量/ software metric /software metric

软件质量控制/ software quality control /software quality control

配置标识/ configuration identification /configuration identification