自动验证工具
规范用词
自动验证工具
英文翻译
所属学科
计算机科学技术
>
软件工程
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
软件工程 的上级学科
计算机科学技术
自动验证工具 相关科技名词
N元
嵌套
程序体系结构
程序正确性
程序扩展
抽象窗口工具箱
AWT
Java开发工具箱
程序探测
程序变异
程序保护
程序规约
程序支持库
程序综合
程序确认
程序设计支持环境
结构化程序
结构化程序设计
结构化程序设计语言
存根
分包商
子系统
分布式对象计算
DOC
逐面分类法
开放体系结构框架
OAF
复用库互操作组织
RLIG
远程方法调用
RMI
面向特征的领域分析方法
FODA
净室软件工程
成熟度
可理解性
松散时间约束
因果图
过程程序设计
逻辑程序设计
函数程序设计
顺序程序设计
分布式程序设计
可视程序设计
文化程序设计
静态绑定
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单