3.2 Specification 方法的规约Spec规约示例
- 欠定的规约：同一个输入可以有多个输出
- 非确定的规约：同一个输入，多次执行时得到的输出可能不同
- 操作式规约，例如：伪代码；
- 声明式规约：没有内部实现的描述，只有“初-终”状态。更有价值。
4.在规约里使用抽象类型，可以给方法的实现体与客户端更大的自由度
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！
软件构造3.2 Spec
•
软件工具
上一篇
2018年5月16日
7款英语新闻APP，在玩手机中学英语
下一篇
2018年5月16日