05 2019 档案

OO第三次作业
摘要：一、JML语言的理论基础、应用工具链情况 1.JML语言的理论基础 面向对象分析和设计的原则之一就是应当尽可能地推迟过程设想，在实现方法之前确实能够做到，但是确定了架构后就会很容易地将思路转向过程性描述。JML语言的功能正是帮助人们尽可能的避免过程性思考，JML语言将延迟设想的面向对象原则扩展到了方 阅读全文
posted @ 2019-05-22 11:45 C_harlie 阅读(210) 评论(0) 推荐(0)