05 2020 档案

OO第三单元总结——JML
摘要：OO第三单元总结——JML 一、梳理JML语言的理论基础、应用工具链情况 JML语言理论基础 JML是一种形式化的、面向JAVA的行为接口规格语言（Behavior Interface Specification Language，BISL），基于Larch方法构建 。BISL提供了对方法和类型的规格 阅读全文
posted @ 2020-05-23 17:55 kkk7777 阅读(483) 评论(0) 推荐(0)