2020年5月23日
面向对象第三单元总结
摘要： 一、JML语言 1.理论基础 1.规格化设计 类是一个编程单位，类规格定义了类实现者和类使用者之间的契约：类实现者信任使用者能够确保所有前置条件都能被满足，类使用者信任设计者能够有效管理相应的数据和访问安全。通过这样规格契约的连接，系统的较低层次为系统的较高层次提供了服务接口，从而协同系统不同层次的 阅读全文
posted @ 2020-05-23 17:17 eleony 阅读(194) 评论(0) 推荐(0) 编辑