2019年5月21日
BUAA-OO-第三单元总结
摘要： 面向对象第三单元JML总结 JML理论基础及工具链梳理 JML语言理论基础 JML语言是对于JAVA进行规格化设计的一种表述语言，他能以一种统一化语言，逻辑性强的格式，向程序设计者描述这一方法实现的功能，从而规范设计者去按照这一方向实现方法。从而避免了使用自然语言而导致描述上不清晰的问题，并且也提供 阅读全文
posted @ 2019-05-21 22:36 PX_L 阅读(247) 评论(0) 推荐(0) 编辑