摘要: JML语言相关 在本阶段的OO实验中,我们首次接触到了JML语言,也帮助我们学习了设计和实现的一般流程,将设计时的架构和实现时的细节分离开来,使具体需求更加明确,也降低了错误出现的概率。 JML语言的理论基础 JML语言(Java Modeling Language)用于描述程序中接口的规格,从而规 阅读全文
posted @ 2019-05-22 12:39 Lebway 阅读(206) 评论(0) 推荐(0) 编辑