2020年5月23日
BUAA_OO_2020_Unit3_Summary
摘要： JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。可以通过开展规格化设计，而给代码实现者以明确、严谨的设计需求；也可以针对已有的代码给出规格，以提高代码的维护性。 结合Junit、OpenJML、SMT So 阅读全文
posted @ 2020-05-23 18:48 Zhao_xc 阅读(127) 评论(0) 推荐(0) 编辑