2019年5月22日
OOP第三章博客
摘要： OO第三单元博客 • (1)梳理JML语言的理论基础、应用工具链情况： 理论基础： 网络资料上面介绍JML有两种主要的用法： 1) 开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性、二义性的自然语言描述，而是逻辑严格的规格语言描述。 这应该也是我们学习JML的目的，希望我们可以掌握这种 阅读全文
posted @ 2019-05-22 19:25 小猫爱吃鱼meow~ 阅读(208) 评论(0) 推荐(0) 编辑