2022年6月6日
【2022春-面向对象】第三单元总结
摘要： 【2022春-面向对象】第三单元总结 写在前面 本单元的主题是JML。 JML是一种形式化的语言，用来对类和方法进行规格化的描述。初见JML时可能需要花一定时间去理解其语法，而且会发现这样的语言理解起来十分费劲。例如一个“求图的最短路径”的方法可能需要几十行的JML描述。 这就是诸如JML这类形式化 阅读全文
posted @ 2022-06-06 15:23 infinity0 阅读(44) 评论(0) 推荐(0) 编辑