OO第三单元总结
摘要：
前言 经过了三个星期的第三单元的学习，现在又到了进行总结的时间了。接下来我将从ML语言的理论基础，SMT Solver，JMLUnit，以及自己作业的架构等方面来叙述这个单元的学习。 JML语言的理论基础和应用工具链 理论基础： JML(Java Modeling Language)是用于对Java 阅读全文
posted @ 2019-05-22 11:40 17373366 阅读(121) 评论(0) 推荐(0) 编辑
