形式规约
规范用词
形式规约
英文翻译
所属学科
计算机科学技术
>
软件工程
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
软件工程 的上级学科
计算机科学技术
形式规约 相关科技名词
规约验证
稳定性
供方
支持软件
符号执行
系统体系结构
系统设计
系统文档
系统库
系统可靠性
系统软件
系统确认
系统验证
终止性证明
测试用例生成程序
测试覆盖[率]
测试数据生成程序
测试驱动程序
测试阶段
测试过程
测试可重复性
测试报告
分时
计时分析程序
追踪程序
培训
类型
软件性能
自适应性
内聚性
模块性
可复用性
部分正确性
完全正确性
有效性
用户合同管理员
用户文档
实用软件
版本控制
更改控制