2019年5月22日
面向对象设计与构造第三单元总结
摘要： 1.JML语言的理论基础及应用工具链 在谈JML的理论之前，我觉得有必要提一下JML的起源（研讨课分享了一下，这里再重述一遍） 上世纪50年代，就已经有早期的编程语言出现 然而那个时代，软件开发基本局限于自己或自己部门内部的使用，需求并没有很多，也并不复杂（或者说人们并没有意识到有那么多事情可以通过 阅读全文
posted @ 2019-05-22 20:03 炼丹师zjh 阅读(196) 评论(0) 推荐(0) 编辑