OO第三单元小结

一、   梳理JML语言的理论基础、应用工具链情况 　　JML是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于Larch方法构建。 　　一般而言，JML有两种主要的用法： 　　（1）开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性的自然语言描述，而是逻辑严格的规格。 　　（2）针对已有的代码实现，书写其对应的

>>阅读原文<<