软件工程科技名词
软件工程科技名词:第3页
设计阶段
设计需求
设计评审
设计规约
设计验证
设计走查
桌面检查
有限状态机
控制流
数据流
形式方法
维也纳开发方法
VDM
规约
结构化规约
代数规约
基于类型理论的方法
软件自动化方法
程序转换方法
演绎综合方法
归纳综合方法
过程实现方法
形式规约
正式测试
结构
结构化方法
控制结构
结构图
面向数据结构的方法
结构化分析与设计技术
SADT
自底向上方法
首页
上一页
第3页
下一页
软件工程 的上级学科
计算机科学技术