2019年5月22日
第三单元作业——JML规格化编程总结
摘要： 一、JML语言的理论基础、应用工具链情况 Java Modeling Language（JML）是一种java的规格描述语言，以特殊格式的注释块形式写在java代码中，描述java类中各方法模块的行为，实现对java程序进行规格化设计的目的。JML语言具有以下特点： ·JML语言以注释的形式存在，对 阅读全文
posted @ 2019-05-22 20:36 黄启元 阅读(191) 评论(0) 推荐(0) 编辑