程序转换方法
规范用词
程序转换方法
英文翻译
所属学科
计算机科学技术
>
软件工程
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
软件工程 的上级学科
计算机科学技术
程序转换方法 相关科技名词
需求验证
标准实施器
结构化分析
变换分析
变换中心
静态分析
静态分析程序
调试模型
定义阶段
结构化设计
概要设计
功能设计
功能分解
模块分解
层次分解
详细设计
设计分析
设计分析器
设计审查
设计方法学
设计阶段
设计需求
设计评审
设计规约
设计验证
设计走查
桌面检查
有限状态机
控制流
数据流
形式方法
维也纳开发方法
VDM
规约
结构化规约
代数规约
基于类型理论的方法
软件自动化方法
程序转换方法
演绎综合方法
归纳综合方法