2019年5月21日
OO第三单元总结性博客
摘要： OO第三单元总结性博客 JML理论基础与工具链 JML理论基础 JML是一种将java程序规格化表达的一种语言，其描述的是行为的规格，而非具体的代码实现。 通过对程序开展规格化设计，当然前提是使用JML这种规范化的语言，可以使得代码具有严谨的逻辑，因为代码的实现一定按照规格去实现，而规格是逻辑严谨的 阅读全文
posted @ 2019-05-21 10:56 whymi 阅读(130) 评论(0) 推荐(0) 编辑