形式化软件开发

注册

登录

用户注册

点击换图

投稿取消

文章分类:

还能输入300字

上传中....

热门文章更多>>

标签更多>>

word左右居中纵向分布 word左右居中对齐 word左右居中对齐怎么设置 word标题回车后为正文 word标题回车后直接分页 word标题回车后中间空了好大一段 word里面行距怎么调整无法缩小 word里面行距一直很大 word里面行距怎么设置在哪里 word试卷格式文档怎么打印 word试卷格式排版 word中隐藏文字打印 word中隐藏文字快捷键 word中隐藏文字在哪里

专题更多>>

最新文章更多>>

形式化软件开发形式语言真理论

软件开发中为什么使用形式化方法　　常见的软件开发方法有结构化方法、Jackson方法、维也纳开发方法（VDM）和面向对象的开发方法。　　1.结构化方法：指导思想：自顶向下，逐步求精；基本原则：功能的分析与...

0
0
0
0
0