2019年5月21日
OO第三次博客作业
摘要： OO第三次博客作业 三次作业内容：JML相关，逐步进阶。 (1)梳理 语言的理论基础、应用工具链情况 理论基础 JML是一种为 Java量身定做的 形式化的行为接口规范语言 ( BISL) , 用来规范 Java程序模块 (如类和接口 )的行为及详细设计决策。它沿袭了 BISL良好定义的形式语义, 阅读全文
posted @ 2019-05-21 17:17 aptx1231 阅读(267) 评论(0) 推荐(0) 编辑