2019年5月22日
OO第三单元——JML规格化设计
摘要： OO第三单元——JML规格化设计 JML语言的理论基础以及应用工具链情况 理论基础 JML是对JAVA程序进行规格化设计的一种表示语言，是一种行为接口规格语言。JML整合了Java和JAVAdoc，并且引入了并要的形式化表达手段。 其方法规格核心包括： 前置条件、后置条件和副作用约定 。通过对方法的 阅读全文
posted @ 2019-05-22 17:46 zhyiuxan 阅读(236) 评论(0) 推荐(0) 编辑