2019年5月22日
【面向对象】第三单元规格化设计总结——JML
摘要： [TOC] 一、梳理JML语言的理论基础、应用工具链情况 关于JML(Java Modeling Language) JML是一种形式化的、面向JAVA的行为接口规格语言（behavioral interface specification language） JML允许在规格中混合使用Java语法 阅读全文
posted @ 2019-05-22 14:19 叮叮猫不是猫 阅读(438) 评论(0) 推荐(0) 编辑