OO_UNIT3_Summary
摘要：
[TOC] 一、JML语言的理论基础与应用工具链 JML是Java模块的行为接口规范语言。JML提供了语义来正式描述Java模块的行为，从而避免了有关模块设计者意图的歧义。其目标是提供严格的形式语义，同时仍然可供任何Java程序员访问。可以利用JML的行为规范的各种工具。因为规范可以作为注释写在Ja 阅读全文
posted @ 2020-05-23 19:52 h789 阅读(121) 评论(0) 推荐(0) 编辑