计算机程序验证
规范用词
计算机程序验证
英文翻译
所属学科
计算机科学技术
>
软件工程
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
软件工程 的上级学科
计算机科学技术
计算机程序验证 相关科技名词
过程实现方法
形式规约
正式测试
结构
结构化方法
控制结构
结构图
面向数据结构的方法
结构化分析与设计技术
SADT
自底向上方法
面向对象方法
面向对象分析
面向对象设计
面向对象程序设计
软件方法学
软件工程方法学
自顶向下
自底向上
自顶向下方法
自顶向下测试
软件开发模型
瀑布模型
演化模型
螺旋模型
喷泉模型
软件结构
软件开发方法
链[接]表
净室
代码审计
代码生成器
代码审查
代码走查
计算机数据
计算机程序
软件包
良构程序
程序生成器
应用生成器
计算机程序摘要
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单