蝴蝶之舞飞啊飞
软件形式化方法 软件形式化原理
软件开发中为什么使用形式化方法 1、边做边改模型（build-and-fixmodel）这种模型一般不会使用。 是不断的修正版本不断的供用户使用，如果出现错误或是新的需求又不断的修改代码的过程。 缺点：缺...
用户登录
还没有账号?立即注册
用户注册
投稿取消
| 文章分类: |
|
还能输入300字
上传中....
