演绎综合方法
规范用词
演绎综合方法
英文翻译
所属学科
计算机科学技术
>
软件工程
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
软件工程 的上级学科
计算机科学技术
演绎综合方法 相关科技名词
统计测试模型
测试有效性
走查
绝对机器代码
抽象
偶然事故
需方
获取
活动文件
活动
地址空间
自动测试用例生成器
自动测试数据生成器
自动测试生成器
自动验证系统
自动验证工具
可用性模型
引导装入程序
隐错
隐错撒播
构件块
能力成熟[度]模型
CMM
计算机程序认证
计算机程序配置标识
计算机程序开发计划
计算机程序确认
计算机程序验证
条件控制结构
配置控制委员会
配置标识
配置项
配置状态报告
禁闭
合同
控制数据
改正性活动
正确性证明
关键部分优先
关键程度
交叉汇编程序
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单