摘要: oo第三单元总结 一. 梳理JML语言的理论基础、应用工具链情况 (1) JML理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言,基于Larch方法构建。 一般而言,JML有两种主要的用法: (1)开展规格 阅读全文
posted @ 2019-05-22 18:32 wys99 阅读(283) 评论(0) 推荐(0)