2019年5月22日

Java第三单元总结

摘要： 一、JML语言的理论基础、应用工具链情况 JML： （1）概述 Java建模语言（Java Modeling Language, JML）是一种用来进行详细设计的表示法，它倡导一种思考方法和类的新思路。JML将注释添加到Java代码中，让我们能够去描述方法预期的功能，而不必去说明如何做到这一点，这样 阅读全文

posted @ 2019-05-22 16:07 耿聪 阅读(148) 评论(0) 推荐(0) 编辑

导航