2022年6月8日
软件构造博客4 复习笔记——规约
摘要： 从复习笔记中摘取一部分，作为近期的复习心得。 1.写假设：代码中变量的数据类型定义，且final定义该变量设计决策为不可改变。 2.归约的作用：作为防火墙，开发段不需要知道使用，客户端不需要知道实现。 3.写规约：只讲能做什么，不讲如何实现。 @param 参数 @requires 前置条件（对客户 阅读全文
posted @ 2022-06-08 09:04 Asteraria 阅读(15) 评论(0) 推荐(0) 编辑