05 2019 档案

OO第三单元作业总结
摘要：OO第三单元作业总结 [TOC] 1. JML语言 理论基础、应用工具链情况 (1)jml表达式 使用 JML 的话，我们就能够描述一个方法的预期的功能而不管他如何实现，让我们最开始能尽量从面向对象的角度进行编程，最先去关注整体的设计，再去关注具体方法的实现。 JML 引入了大量用于描述行为的结构， 阅读全文
posted @ 2019-05-22 17:48 谢谨蔓 阅读(158) 评论(0) 推荐(0) 编辑