代码中的注释撰写

以注释撰写AF ，RI

选择某种特定的表示方式R，进而指定某个子集是“合法”的(RI)，并为该子集中的每个值做出“解释”(AF)——即如何映射到抽象空间中的值
即使是同样的R、同样的RI，也可能有不同的AF，即“解释不同”。

而在代码中撰写AF，RI时，其实时在代码规范上添加对应的想法（你设计这个ADT要干什么或是用户要求你干什么）

public class Set{
       private String a;
       //Rep invariant
       //    a contains no repeated chars
       //Abstraction functions
       //      AF(a)={a[i] | 0 <= i < a.length()}

如上，在Rep invariant中写RI
AF中写函数

以注释撰写测式策略

（软件构造PPT上的图片）

以注释的形式撰写线程安全策略

（源于软件构造PPT）