2019年5月21日
OO第三次博客作业——规格
摘要： (1)梳理JML语言的理论基础、应用工具链情况 概述：JML语言是一种为Java程序设计的规格语言，遵循契约式设计规则。 编译：规格是用Java注释的方式编写的，因此可以被任意Java编译器编译。 思想：JML继承了Eiffel，Larch和Refinement Calculus的思想，其目标是在保 阅读全文
posted @ 2019-05-21 14:50 kidogucb 阅读(253) 评论(3) 推荐(0) 编辑