2020年5月20日
第三单元实验博客
摘要： 1 JML理论基础和应用工具 1.1 JML理论基础 JML是一种行为接口规格语言，从我个人使用的感受来看，它主要下列用处。 1. 进行规格化的设计，相比于自然语言，JML的逻辑更严谨，避免了自然语言在描述规格时的二义性，同时JML还显示的表达除了方法的数学逻辑而不仅仅是方法的结果。举个例子我们用自 阅读全文
posted @ 2020-05-20 20:13 日月久照 阅读(168) 评论(0) 推荐(0) 编辑