2020年5月22日
面向对象第三单元总结 - JML(Java Modeling Language) - 简体版本
摘要： 面向对象第三单元总结 JML(Java Modeling Language) 简体版本 [TOC] 一、JML 理论基础 与 应用工具链 1.1 JML 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(B 阅读全文
posted @ 2020-05-22 10:25 伯理璽天德 阅读(1418) 评论(0) 推荐(0)
面向對象第三單元總結 - JML(Java Modeling Language)
摘要： 面向對象第三單元總結 JML(Java Modeling Language) [TOC] 一、JML 理論基礎 與 應用工具鏈 1.1 JML 理論基礎 JML(Java Modeling Language)是用於對Java程序進行規格化設計的一種表示語言。JML是一種行爲接口規格語言(Behavi 阅读全文
posted @ 2020-05-22 10:23 伯理璽天德 阅读(222) 评论(0) 推荐(0)