2019年5月22日
OO_JAVA_JML系列作业_单元总结
摘要： OO_JAVA_JML系列作业_单元总结 (1)梳理JML语言的理论基础、应用工具链情况 简单梳理 以下三者是jml规格里的核心，对一个方法功能和属性的限制： 1. requires子句：规定方法的前置条件(precondition)； 2. assignable子句：方法的副作用范围限定； 3. 阅读全文
posted @ 2019-05-22 10:51 Mind_Edge 阅读(429) 评论(0) 推荐(0) 编辑