05 2019 档案

2019北航OO第三单元博客作业
摘要：2019北航OO第三单元 一、 梳理JML语言的理论基础、应用工具链情况 JML是一种行为接口规格语言，基于Larch方法构建，BISL提供了对方法和类型的规格定义手段，所谓接口即一个方法或类型外部可见的内内筒。通过在JAVA代码中增加一些符号，并用这些符号来标识一个方法是干什么的，却并不关心它的实 阅读全文
posted @ 2019-05-22 20:40 bwt 阅读(134) 评论(0) 推荐(0) 编辑