2020年5月21日
OO第三单元 JML规格 单元回顾
摘要： 写在前面 这一单元的作业看似难度比前两单元下降很多，但一不小心就会出各种问题...第二次作业留下了惨痛的教训。 一. JML语言的理论基础、应用工具链 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Be 阅读全文
posted @ 2020-05-21 20:31 不墨 阅读(304) 评论(0) 推荐(0)